Don't assume configure is executable

diff --git a/commands/Makefile b/commands/Makefile
index 8390508b78b682df11059b6376741c2214f800df..76ea33288d89a84fd6b226155520fdcad33939fe 100755 (executable)
--- a/commands/Makefile
+++ b/commands/Makefile
@@ -12,9 +12,9 @@ usage:
        @false
 
 all install::
-       cd $(FLEX) && ./configure --prefix=/usr && make $@
-       cd $(GZIP) && ./configure --prefix=/usr && make $@
-       cd $(PYTHON) && ./configure --prefix=/usr/local && make $@
+       cd $(FLEX) && /bin/sh ./configure --prefix=/usr && make $@
+       cd $(GZIP) && /bin/sh ./configure --prefix=/usr && make $@
+       cd $(PYTHON) && /bin/sh ./configure --prefix=/usr/local && make $@
 
 clean::
        if [ -f $(FLEX)/Makefile ] ; then cd $(FLEX) && make $@; fi