diff options
author | fxcoudert <fxcoudert@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-12-04 08:45:33 +0000 |
---|---|---|
committer | fxcoudert <fxcoudert@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-12-04 08:45:33 +0000 |
commit | b4cec6497943525845bbf5b9c84d902e35901e77 (patch) | |
tree | 938c38f49da3ccb0d52d00f244d1211313e09926 /configure | |
parent | 7652be4f7c8c3e5a9d7aae0de3ab68ea8c31a8c6 (diff) |
* config/isl.m4: Don't pass -DCLOOG_INT_GMP on islinc.
* configure: Regenerated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@218341 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure index 9e6684ce7cd..297f38e5195 100755 --- a/configure +++ b/configure @@ -5939,7 +5939,6 @@ fi $as_echo "$as_me: WARNING: using in-tree ISL, disabling version check" >&2;} fi - islinc="-DCLOOG_INT_GMP ${islinc}" isllibs="${isllibs} -lisl" |