2013-09-03 Richard Biener <rguenther@suse.de>
commit078393c760bfdbfc625aae264f9ada931fdec096
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 3 Sep 2013 10:05:29 +0000 (3 10:05 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 3 Sep 2013 10:05:29 +0000 (3 10:05 +0000)
tree4a2898731de261ee8f8531489dc7d0ca4e73aa8b
parent87883e3de892e0ed2881ccd7f314f55fb2d4b80b
2013-09-03  Richard Biener  <rguenther@suse.de>

* configure.ac: Also allow ISL 0.12.
* configure: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202206 138bc75d-0d04-0410-961f-82ee72b054a4
configure
configure.ac