diff --git a/Make/instexamplesrc b/Make/instexamplesrc index 96cb466bf..443ef2708 100755 --- a/Make/instexamplesrc +++ b/Make/instexamplesrc @@ -20,8 +20,7 @@ SOCKET_LIBS=$8 shift; shift; shift; shift; shift; shift; shift; shift; OTHER_LIBS=$1 TIFF_LIB=$2 - -[ "`uname`" = "Darwin" ] && MAKE=gnumake || MAKE=gmake +MAKE=$3 copy_example_source() diff --git a/Make/instrules b/Make/instrules index b7b321bdd..163133254 100644 --- a/Make/instrules +++ b/Make/instrules @@ -55,6 +55,7 @@ __instdev: "$(SOCKET_LIBS)"\ "$(OTHER_LIBS)"\ "$(TIFF_LIB)"\ + $(MAKE) @echo\