diff --git a/src/pull.sh b/src/pull.sh index 2665c04..2845ba9 100755 --- a/src/pull.sh +++ b/src/pull.sh @@ -24,7 +24,7 @@ tarball() { name=$1 url=$2 echo get $name from $url - test -e $name || ( curl $url > $name.tar.gz && tar xzf $name.tar.gz && rm $name.tar.gz ) + test -e $name || ( curl -L $url > $name.tar.gz && tar xzf $name.tar.gz && rm $name.tar.gz ) } file() {