diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/nix-build.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index c46b270ff89d..8973f5fb7316 100755 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -134,7 +134,7 @@ EOF $verbose = 1; } - elsif ($arg eq "--quiet") { + elsif ($arg eq "--quiet" || $arg eq "--repair") { push @buildArgs, $arg; push @instArgs, $arg; } |