Author: diego Date: Fri Aug 18 01:41:51 2006 New Revision: 19431 Modified: trunk/configure Log: 10l: Also rename configure option for gcc check. Modified: trunk/configure ============================================================================== --- trunk/configure (original) +++ trunk/configure Fri Aug 18 01:41:51 2006 @@ -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)