diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-15T09·10+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-15T09·10+0000 |
commit | 20b6f94b65204f3a7b2e93c31b35f7554f2823a1 (patch) | |
tree | d6ed5a76eecde594819e5f7eae3aef940d4d5f23 /scripts | |
parent | d413612029ee44628dea3598f3a67042acf05d50 (diff) |
* nix-build: pass the --show-trace flag.
Diffstat (limited to 'scripts')
-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 458b333f3ee8..1134eb4272bb 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; } |