r202214 - in /branches/gcc-4_8-branch: ChangeLo...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Tue Sep  3 12:13:42 2013
New Revision: 202214

URL: http://gcc.gnu.org/viewcvs?rev=202214&root=gcc&view=rev
Log:
2013-09-03  Richard Biener  <rguenther@suse.de>

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

Modified:
    branches/gcc-4_8-branch/ChangeLog
    branches/gcc-4_8-branch/configure
    branches/gcc-4_8-branch/configure.ac