summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-02-27 12:09:30 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-02-27 12:09:30 +0000
commitfd2e14b3c886c4ff6a702f22bb7f4494b1fbec39 (patch)
treea3b8970b54edd55dac94e7a3ffb1ebca82ec186d /scripts
parent60cb7de336035768089cc764a3fd7e8867a8d298 (diff)
downloadguix-fd2e14b3c886c4ff6a702f22bb7f4494b1fbec39.tar.gz
* nix-build: support --option.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/nix-build.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in
index 46b313b1bf..1deaea58a6 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;