* configure.ac (isl_options_set_schedule_serialize_sccs): Also
commit99dfbf20a0b6f55942211d3164cc819aa6be5762
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 9 Jan 2016 13:25:22 +0000 (9 13:25 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 9 Jan 2016 13:25:22 +0000 (9 13:25 +0000)
treec5f0ee387ecfdf8f6295cf97a8ef07123e31c0dd
parent0f8f48d00b674e7c2b02611c337b8c6d9d5e1213
* configure.ac (isl_options_set_schedule_serialize_sccs): Also
use GMPINC.
* configure: Regenerate.

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