www

commit 2ef4a6c09073285e3f3cdc58374f78d4429537e8
parent 9caa39e94ceff7d05d19dafd9575b67d9a6f8e62
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Fri,  5 Jul 2013 11:48:33 -0600

switch makefile's parallelism control to `JOB_OPTIONS'

Avoid potential collision with `PLT_SETUP_OPTIONS' as an environment
variable.

original commit: 2f637741e20d497d7c187a61335af4d064e081ba

Diffstat:
M
pkgs/distro-build/drive-clients.rkt
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/pkgs/distro-build/drive-clients.rkt b/pkgs/distro-build/drive-clients.rkt
@@ -237,7 +237,7 @@
    (sh "cd " (q dir) " ; "
        "make -j " j " client"
        (client-args c server 'unix)
-       " PLT_SETUP_OPTIONS=\"-j " j "\""
+       " JOB_OPTIONS=\"-j " j "\""
        " CONFIGURE_ARGS_qq=" (qq (get-opt c '#:configure null) 'unix))))
 
 (define (windows-build c host port user server repo clean? pull?)
@@ -263,7 +263,7 @@
         " && \"c:\\Program Files" (if (= bits 64) " (x86)" "") "\\Microsoft Visual Studio 9.0\\vc\\vcvarsall.bat\""
         " " vc
         " && nmake win32-client" 
-       " PLT_SETUP_OPTIONS=\"-j " j "\""
+       " JOB_OPTIONS=\"-j " j "\""
         (client-args c server 'windows))))
 
 (define (client-build c)