diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-15 09:10:38 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-15 09:10:38 +0000 |
| commit | 20b6f94b65204f3a7b2e93c31b35f7554f2823a1 (patch) | |
| tree | d6ed5a76eecde594819e5f7eae3aef940d4d5f23 | |
| parent | d413612029ee44628dea3598f3a67042acf05d50 (diff) | |
* nix-build: pass the --show-trace flag.
| -rw-r--r-- | scripts/nix-build.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index 458b333f3..1134eb427 100644 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -112,6 +112,10 @@ EOF $dryRun = 1; } + elsif ($arg eq "--show-trace") { + push @instArgs, $arg; + } + elsif (substr($arg, 0, 1) eq "-") { push @buildArgs, $arg; } |