linux: fix binary startup issue 38/21338/2
Clément DAVID [Mon, 17 Feb 2020 11:47:46 +0000 (12:47 +0100)]
Change-Id: I6f881aaa30a2a2c9a804459c2eb2bb0fa86ff73b

scilab/bin/scilab

index 2c002dd..475457d 100755 (executable)
@@ -442,7 +442,7 @@ detect_java_vm() {
                     echo "Cannot find $JAVA_HOME/bin/java"
                     exit 1
                 fi
-        elif test "$DEVENV" -eq 1 -a -d "$SCI/java/jre" ; then
+        elif test "$DEVENV" = "1" -a -d "$SCI/java/jre" ; then
                 export JAVA_HOME=$SCI/java/jre
                 if test $SCIVERBOSE -ne 0; then
                     echo "Using thirdparty vm: $JAVA_HOME"