diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-07T14·35+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-07T14·35+0000 |
commit | 7d876f8fa7b6c3ce120a66b59f69b70ae526538b (patch) | |
tree | 575968bbd3fd64b694b06dcb1f6e05aa80dea815 /corepkgs/fetchurl/builder.sh.in | |
parent | 10c429c757625c4c36319751f6d87b8990677c1f (diff) |
* Get rid of fetchurl, we don't need it anymore.
Diffstat (limited to 'corepkgs/fetchurl/builder.sh.in')
-rw-r--r-- | corepkgs/fetchurl/builder.sh.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/corepkgs/fetchurl/builder.sh.in b/corepkgs/fetchurl/builder.sh.in deleted file mode 100644 index 02abb18b4b77..000000000000 --- a/corepkgs/fetchurl/builder.sh.in +++ /dev/null @@ -1,5 +0,0 @@ -#! @shell@ -e - -echo "downloading $url into $out" - -@curl@ --fail --location --max-redirs 20 "$url" > "$out" |