diff options
Diffstat (limited to 'gcc/configure.ac')
-rw-r--r-- | gcc/configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index 7891fcc..89644e2 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -4987,8 +4987,8 @@ fi AC_ARG_VAR(GMPLIBS,[How to link GMP]) AC_ARG_VAR(GMPINC,[How to find GMP include files]) -AC_ARG_VAR(PPLLIBS,[How to link PPL]) -AC_ARG_VAR(PPLINC,[How to find PPL include files]) +AC_ARG_VAR(ISLLIBS,[How to link ISL]) +AC_ARG_VAR(ISLINC,[How to find ISL include files]) AC_ARG_VAR(CLOOGLIBS,[How to link CLOOG]) AC_ARG_VAR(CLOOGINC,[How to find CLOOG include files]) |