3 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index a1b782e4..c9437a21 100755
--- a/configure
+++ b/configure
@@ -16526,7 +16526,7 @@ esac
 axiom_gcl_x_option="--disable-tkconfig --disable-x --disable-xgcl"
 axiom_gcl_emacs="--enable-emacs=correct"
 
-cae $GCC in
+case $GCC in
   yes)
      CCF="-O2 -Wall -D_GNU_SOURCE"
      ;;
diff --git a/configure.ac b/configure.ac
index ef531d07..e9a15dd5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -593,7 +593,7 @@ esac
 axiom_gcl_x_option="--disable-tkconfig --disable-x --disable-xgcl"
 axiom_gcl_emacs="--enable-emacs=correct"
 
-cae $GCC in
+case $GCC in
   yes)
      CCF="-O2 -Wall -D_GNU_SOURCE"
      ;;
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index cadc4461..8aa4ca89 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -567,7 +567,7 @@ do with platforms.
 <<platform specific bits>>=
 <<gcl options>>
 
-cae $GCC in
+case $GCC in
   yes)
      CCF="-O2 -Wall -D_GNU_SOURCE"
      ;;