diff options
| -rwxr-xr-x | scripts/fetch-curl.rc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc index 08534598..26b26faa 100755 --- a/scripts/fetch-curl.rc +++ b/scripts/fetch-curl.rc @@ -33,6 +33,8 @@ for(archive in `{awk '{print $2}' sha256}) { pats=($pats $1) shift } + if(~ $#pats 0) + pats='*/*' shift if(! ~ $#tool 0) $tool $archive | pax -r -s '/^\.\|[^\/]*/src/' $pats } |