diff options
Diffstat (limited to '1-download.sh')
| -rw-r--r-- | 1-download.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/1-download.sh b/1-download.sh index d0cd8f4..b865662 100644 --- a/1-download.sh +++ b/1-download.sh @@ -17,6 +17,4 @@ mkdir -p download wget http://mirror.tochlab.net/pub/gnu/mpc/mpc-$mpc_ver.tar.gz -P download [ ! -f download/isl-$isl_ver.tar.bz2 ] && \ wget ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-$isl_ver.tar.bz2 -P download -[ ! -f download/cloog-$cloog_ver.tar.gz ] && \ - wget ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-$cloog_ver.tar.gz -P download echo Done downloading |