]> git.ipfire.org Git - thirdparty/gcc.git/commit
2012-07-06 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2012 12:31:03 +0000 (12:31 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2012 12:31:03 +0000 (12:31 +0000)
commite4128452b76c241e59e2c9eb075fc24ea6d836f3
tree36349dada476a722a28492689daeafcf4bc5d8cd
parent89952baf89164cbb1859ef6ae6db71dcc8a709d6
2012-07-06  Richard Guenther  <rguenther@suse.de>

* configure.ac (extra_isl_gmp_configure_flags): Initialize and subst.
* Makefile.def (isl): Use extra_isl_gmp_configure_flags and
supply V=1 as extra_make_flags.
* configure: Regenerated.
* Makefile.in: Likewise.

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