diff --git a/src/configure b/src/configure
index aa72ac24f2..a9b7567fd6 100755
--- a/src/configure
+++ b/src/configure
@@ -5879,7 +5879,7 @@ case $OS in
       alpha)
        EXTRA_GMP_OBJ="gmp_alpha_gcc.o"
        ;;
-      i386,i486,i586,i686)
+      i386|i486|i586|i686)
        enable_futures_by_default=yes
        ;;
       *)
diff --git a/src/mzscheme/configure.ac b/src/mzscheme/configure.ac
index 94e212752f..c868c6a7f0 100644
--- a/src/mzscheme/configure.ac
+++ b/src/mzscheme/configure.ac
@@ -589,7 +589,7 @@ case $OS in
       alpha)
        EXTRA_GMP_OBJ="gmp_alpha_gcc.o"
        ;;
-      i386,i486,i586,i686)
+      i386|i486|i586|i686)
        enable_futures_by_default=yes
        ;;
       *)