diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 72ee3692070..95a30fc1add 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2012-07-03 Richard Guenther <rguenther@suse.de> + + * Makefile.def (cloog): Add V=1 to extra_make_flags. + * configure.ac: If either the ISL or the CLooG check failed + do not try to build in-tree versions. + * Makefile.in: Regenerated. + * configure: Regenerated. + 2012-07-03 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * configure: Regenerate. |