diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-06 08:18:51 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-06 08:18:51 +0000 |
| commit | 03f1d1ecb5ef69c8c065c83373f9f9f749995c50 (patch) | |
| tree | 015504d426363cf19aea03589281593cf7f31a20 /scripts/readmanifest.pm.in | |
| parent | 59b94ee18ac0cba5c7b261ee72550a4d3db0acb5 (diff) | |
* Switched from wget to curl.
* Made the dependencies on bzip2 and the shell explicit.
Diffstat (limited to 'scripts/readmanifest.pm.in')
| -rw-r--r-- | scripts/readmanifest.pm.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/readmanifest.pm.in b/scripts/readmanifest.pm.in index 08227a5d7..bca6c4c8a 100644 --- a/scripts/readmanifest.pm.in +++ b/scripts/readmanifest.pm.in @@ -10,7 +10,7 @@ sub processURL { $url =~ s/\/$//; print "obtaining list of Nix archives at $url...\n"; - system("curl --fail --silent --show-error " . + system("@curl@ --fail --silent --show-error --location --max-redirs 20 " . "'$url' > '$manifest' 2> /dev/null") == 0 or die "curl failed: $?"; |