shifting command arguments (to handle product name as before)

OpenSmalltalk · Oct 18, 2016 · 476e473 · 476e473
1 parent 9f8cb23
commit 476e473
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build.linux32ARMv6/pharo.cog.spur/build/mvm b/build.linux32ARMv6/pharo.cog.spur/build/mvm
@@ -6,6 +6,7 @@ INSTALLDIR=phcogspurlinuxhtRPi
 if [ $1 = "all" ]; then
 THIRDPARTYLIBS="libsdl2 libssh2 libgit2"
 EXTERNALPLUGINS="plugins.ext.all"
+shift 
 else
 THIRDPARTYLIBS=
 EXTERNALPLUGINS="plugins.ext"