# HG changeset patch
# User diego
# Date 1155858111 0
# Node ID 4c2018ab7d4583b37f8775144a0826baf0c92eee
# Parent  5df27eeec3bf2f250600c67725e2d220de156db8
10l: Also rename configure option for gcc check.

diff -r 5df27eeec3bf -r 4c2018ab7d45 configure
--- 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)