diff options
| -rw-r--r-- | config/linux | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/linux b/config/linux index e4c0111..ff79283 100644 --- a/config/linux +++ b/config/linux @@ -41,6 +41,12 @@ PROD_CPPFLAGS= 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. |