diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/linux | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/linux b/config/linux index 3766079..9e3bc5c 100644 --- a/config/linux +++ b/config/linux @@ -62,13 +62,6 @@ PROFILE_CFLAGS=-pg PROFILE_CPPFLAGS= #---------------------------------------------------------------------------- -# Enable parallel support by default for Robb's development system. -# -if [ 'robb@arborea' = `whoami`@`hostname` ]; then - enable_parallel=${enable_parallel:-yes} -fi - -#---------------------------------------------------------------------------- # Values for overriding configuration tests when cross compiling. # This includes compiling on some machines where the serial front end # compiles for a parallel back end. |