From 4da153ff2c0500c7533e65606d2aac80327d7e3d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 30 Aug 2015 10:01:24 -0600 Subject: [PATCH] propagate `-j` for native-for-cross build --- distro-build-server/drive-clients.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/distro-build-server/drive-clients.rkt b/distro-build-server/drive-clients.rkt index dc1a811..096f3eb 100644 --- a/distro-build-server/drive-clients.rkt +++ b/distro-build-server/drive-clients.rkt @@ -321,7 +321,7 @@ "git pull")) (and need-native-racket? (sh "cd " (q dir) " ; " - "make native-for-cross")) + "make -j " j " native-for-cross")) (sh "cd " (q dir) " ; " "make -j " j " client" (client-args c server server-port 'unix readme)