diff --git a/configure b/configure
index 5efc9e811..2aae855ea 100755
--- a/configure
+++ b/configure
@@ -655,6 +655,7 @@ CUDD_CPPFLAGS
 CUDD_LDFLAGS
 ENABLE_BDDLIB
 ENABLE_CUDD
+CMDEXT
 EXTRA_INCLUDES_FOR_WIN32
 ENABLE_WINCONSOLE
 STATIC_MODE
@@ -9459,6 +9460,7 @@ fi
 
 
 
+CMDEXT=sh
 if test "x$ARCH" = "x"; then
   case "$host" in
     *linux*)
@@ -9474,6 +9476,9 @@ if test "x$ARCH" = "x"; then
 fi
 
 
+CMDEXT=sh
+
+
 
 
 
diff --git a/configure.in b/configure.in
index 4312f5379..a0af682a7 100755
--- a/configure.in
+++ b/configure.in
@@ -1712,6 +1712,7 @@ fi
 AC_SUBST(M4)
 AC_SUBST(M4GENHDRS)
 
+CMDEXT=sh
 dnl SWI compatibility, I don't know why just use host...
 changequote(,)dnl
 if test "x$ARCH" = "x"; then
@@ -1730,6 +1731,8 @@ fi
 changequote([,])dnl
 AC_SUBST(ARCH)
 
+CMDEXT=sh
+
 dnl System stuff for dynamic linking.
 dnl
 dnl Exports:
@@ -1800,6 +1803,7 @@ AC_SUBST(MAX_WORKERS)
 AC_SUBST(STATIC_MODE)
 AC_SUBST(ENABLE_WINCONSOLE)
 AC_SUBST(EXTRA_INCLUDES_FOR_WIN32)
+AC_SUBST(CMDEXT)
 
 AC_SUBST(ENABLE_CUDD)
 AC_SUBST(ENABLE_BDDLIB)