Committed.
Richard.
2017-09-18 Richard Biener <rguent...@suse.de>
* download_prerequisites (isl): Bump version to 0.18.
Index: contrib/download_prerequisites
===================================================================
--- contrib/download_prerequisites (revision 252906)
+++ contrib/download_prerequisites (working copy)
@@ -30,7 +30,7 @@ version='(unversioned)'
gmp='gmp-6.1.0.tar.bz2'
mpfr='mpfr-3.1.4.tar.bz2'
mpc='mpc-1.0.3.tar.gz'
-isl='isl-0.16.1.tar.bz2'
+isl='isl-0.18.tar.bz2'
base_url='ftp://gcc.gnu.org/pub/gcc/infrastructure/'
