diff options
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; } |