diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/nix-reduce-build.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/nix-reduce-build.in b/scripts/nix-reduce-build.in index f9cb5012b45b..2fd946c65428 100644 --- a/scripts/nix-reduce-build.in +++ b/scripts/nix-reduce-build.in @@ -59,6 +59,7 @@ for i in "$@"; do sshHost="${i#ssh://}"; httpHost="${i#http://}"; httpsHost="${i#https://}"; + filePath="${i#file:/}"; if [ "$i" != "$sshHost" ]; then cat needed-paths | while read; do nix-copy-closure --from "$sshHost" --gzip "$REPLY" </dev/null || true; @@ -67,6 +68,10 @@ for i in "$@"; do cat needed-paths | while read; do curl ${BAD_CERTIFICATE:+-k} -L "$i${REPLY##*/}" | gunzip | nix-store --import; done; + elif [ "$i" != "filePath" ] ; then + cat needed-paths | while read; do + gunzip < "$filePath/${REPLY##*/}".nar.gz | nix-store --import; + done; fi; mv needed-paths wanted-paths; cat wanted-paths | xargs nix-store --check-validity --print-invalid > needed-paths; |