jpl support: swi sharing updates

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
+
+
 
 
 

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)