diff options
| author | Richard Biener <rguenth@gcc.gnu.org> | 2013-09-03 10:05:29 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-09-03 10:05:29 +0000 |
| commit | 9847828b4cc9e915e696a1526407f64c18174eb5 (patch) | |
| tree | 4a2898731de261ee8f8531489dc7d0ca4e73aa8b /gcc | |
| parent | 29e810b9094513da7c1644f7581bc79742accc51 (diff) | |
| download | gcc-9847828b4cc9e915e696a1526407f64c18174eb5.zip gcc-9847828b4cc9e915e696a1526407f64c18174eb5.tar.gz gcc-9847828b4cc9e915e696a1526407f64c18174eb5.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: r202206
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions