diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/nix-build.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index f32b2eb35aa4..08201f85761d 100644 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -83,6 +83,12 @@ EOF $n += 2; } + elsif ($arg eq "--max-jobs" or $arg eq "-j" or $arg eq "--max-silent-time") { + $n++; + die "$0: `$arg' requires an argument\n" unless $n < scalar @ARGV; + push @buildArgs, ($arg, $ARGV[$n]); + } + elsif (substr($arg, 0, 1) eq "-") { push @buildArgs, $arg; } |