diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-02-27 12:09:30 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-02-27 12:09:30 +0000 |
commit | fd2e14b3c886c4ff6a702f22bb7f4494b1fbec39 (patch) | |
tree | a3b8970b54edd55dac94e7a3ffb1ebca82ec186d /scripts/nix-build.in | |
parent | 60cb7de336035768089cc764a3fd7e8867a8d298 (diff) |
* nix-build: support --option.
Diffstat (limited to 'scripts/nix-build.in')
-rw-r--r-- | scripts/nix-build.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index 46b313b1b..1deaea58a 100644 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -87,6 +87,13 @@ EOF $n += 2; } + elsif ($arg eq "--option") { + die "$0: `$arg' requires two arguments\n" unless $n + 2 < scalar @ARGV; + push @instArgs, ($arg, $ARGV[$n + 1], $ARGV[$n + 2]); + push @buildArgs, ($arg, $ARGV[$n + 1], $ARGV[$n + 2]); + $n += 2; + } + elsif ($arg eq "--max-jobs" or $arg eq "-j" or $arg eq "--max-silent-time" or $arg eq "--log-type") { $n++; die "$0: `$arg' requires an argument\n" unless $n < scalar @ARGV; |