aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Biener <rguenth@gcc.gnu.org>2013-09-03 10:06:16 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2013-09-03 10:06:16 +0000
commit84aafcc206ffa11d38c7e5bd2c7d68fcf58ca17b (patch)
tree8d09e83599b536a59d3c21cecc26a7570fe49f4c
parent9847828b4cc9e915e696a1526407f64c18174eb5 (diff)
downloadgcc-84aafcc206ffa11d38c7e5bd2c7d68fcf58ca17b.zip
gcc-84aafcc206ffa11d38c7e5bd2c7d68fcf58ca17b.tar.gz
gcc-84aafcc206ffa11d38c7e5bd2c7d68fcf58ca17b.tar.bz2
configure.ac: Also allow ISL 0.12.
2013-09-03 Richard Biener <rguenther@suse.de> * configure.ac: Also allow ISL 0.12. * configure: Regenerated. From-SVN: r202207
-rw-r--r--ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 8fae3d2..1c74171 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-09-03 Richard Biener <rguenther@suse.de>
+
+ * configure.ac: Also allow ISL 0.12.
+ * configure: Regenerated.
+
2013-08-30 Bernd Edlinger <bernd.edlinger@hotmail.de>
* MAINTAINERS (Write After Approval): Add myself.