From fd2e14b3c886c4ff6a702f22bb7f4494b1fbec39 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 27 Feb 2009 12:09:30 +0000
Subject: [PATCH] * nix-build: support --option.

---
 scripts/nix-build.in | 7 +++++++
 1 file changed, 7 insertions(+)

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;