changeset 19425:4c2018ab7d45

10l: Also rename configure option for gcc check.
author diego
date Thu, 17 Aug 2006 23:41:51 +0000
parents 5df27eeec3bf
children 99f95ed2d1e5
files configure
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Thu Aug 17 23:40:11 2006 +0000
+++ b/configure	Thu Aug 17 23:41:51 2006 +0000
@@ -480,10 +480,10 @@
   --as=*)
     _as=`echo $ac_option | cut -d '=' -f 2`
     ;;
-  --enable-gcc-checking)
+  --enable-gcc-check)
     _gcc_check=yes
     ;;
-  --disable-gcc-checking)
+  --disable-gcc-check)
     _gcc_check=no
     ;;
   --enable-static)