1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 3c1e99a..d17b477 100755
--- a/configure
+++ b/configure
@@ -14857,7 +14857,7 @@ else
   if test "x$enable_checking" = x && \
      test -d ${srcdir}/gcc && \
      test x"`cat ${srcdir}/gcc/DEV-PHASE`" = xexperimental; then
-    stage1_checking=yes,types,extra
+    stage1_checking=--enable-checking=yes,types,extra
   fi
 else
   stage1_checking=--enable-checking=$enable_checking,types