diff options
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index fd42b3b..f0aaf86 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -207,7 +207,7 @@ sub spawn($@) { sub make($) { my $target = shift; - return spawn('/usr/bin/make', "-Pj$jobs", $target); + return spawn('/usr/bin/make', "-j$jobs", $target); } sub logstage($) { @@ -464,7 +464,7 @@ MAIN:{ if $branch ne 'CURRENT'; $ENV{'CVSCMDARGS'} = "-D$date" if defined($date); - $ENV{'WORLD_FLAGS'} = $ENV{'KERNEL_FLAGS'} = "-Pj$jobs"; + $ENV{'WORLD_FLAGS'} = $ENV{'KERNEL_FLAGS'} = "-j$jobs"; if ($patch) { $ENV{'LOCAL_PATCHES'} = $patch; $ENV{'PATCH_FLAGS'} = "-fs"; |
