Startup script: pushd / popd is not supported on all platform 42/8742/1
Clément DAVID [Mon, 20 Aug 2012 09:49:15 +0000 (11:49 +0200)]
Change-Id: Ib1df24b36e0123bc1faf048bf08f9565535fb634

scilab/bin/scilab

index 384019b..277a281 100755 (executable)
@@ -426,10 +426,9 @@ detect_java_vm() {
                     fi
                     if test -x "${DIR}/bin/java" ; then
                         # resolve symlinked dir
-                        pushd . >/dev/null
                         cd $DIR
                         JAVA_HOME=$(pwd -P)
-                        popd >/dev/null
+                        cd $OLDPWD
 
                         export JAVA_HOME
                         if test $SCIVERBOSE -ne 0; then