diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fetch-curl.rc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc index 5fd8b681..09ba2157 100755 --- a/scripts/fetch-curl.rc +++ b/scripts/fetch-curl.rc @@ -18,11 +18,11 @@ if(! sha256sum -c sha256 >[2]/dev/null) { for(archive in `{awk '{print $2}' sha256}) { switch($archive) { - case *.gz + case *.tar.gz tool=zcat - case *.bz2 + case *.tar.bz2 tool=bzcat - case *.xz + case *.tar.xz tool=xzcat case * tool=() |