diff options
-rw-r--r-- | Tools/CI-linux-environment.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tools/CI-linux-environment.sh b/Tools/CI-linux-environment.sh index e854c5b0e..0e9526dcf 100644 --- a/Tools/CI-linux-environment.sh +++ b/Tools/CI-linux-environment.sh @@ -29,5 +29,11 @@ case "$SWIGLANG" in set -x fi ;; + "scilab") + # Travis has the wrong version of Java pre-installed resulting in error using scilab: + # /usr/bin/scilab-bin: error while loading shared libraries: libjava.so: cannot open shared object file: No such file or directory + echo "JAVA_HOME was set to $JAVA_HOME" + unset JAVA_HOME + ;; *) ;; esac |