propagate -j for native-for-cross build

This commit is contained in:
Matthew Flatt 2015-08-30 10:01:24 -06:00
parent 6c3971172a
commit 4da153ff2c

View File

@ -321,7 +321,7 @@
"git pull")) "git pull"))
(and need-native-racket? (and need-native-racket?
(sh "cd " (q dir) " ; " (sh "cd " (q dir) " ; "
"make native-for-cross")) "make -j " j " native-for-cross"))
(sh "cd " (q dir) " ; " (sh "cd " (q dir) " ; "
"make -j " j " client" "make -j " j " client"
(client-args c server server-port 'unix readme) (client-args c server server-port 'unix readme)