diff options
Diffstat (limited to 'scripts/nix-pull.in')
-rw-r--r-- | scripts/nix-pull.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index 8cd276801ee6..ffdcf89821a4 100644 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -125,7 +125,6 @@ while (<READ>) { my $srcpath = $srcpaths[$i++]; push @subs, $srcpath; push @subs, $subpath; - print "$srcpath $subpath\n"; } waitpid $pid, 0; @@ -134,13 +133,11 @@ $? == 0 or die "fix failed"; # Register all substitutes. print STDERR "registering substitutes...\n"; -print "@subs\n"; system "nix --substitute @subs"; if ($?) { die "`nix --substitute' failed"; } # Register all successors. print STDERR "registering successors...\n"; -print "@sucs\n"; -system "nix --successor -vvvv @sucs"; +system "nix --successor @sucs"; if ($?) { die "`nix --successor' failed"; } |