Loading de.ugoe.cs.swe.T3Q/build/t3q +0 −5 Original line number Diff line number Diff line #!/bin/bash if [ "$JAVA_HOME" == "" ]; then echo "JAVA_HOME environment variable not set! It must point to the directory of your Java Runtime >= 5.0"; exit; fi JAVA_CMD="java -Xmx3g -Xss512m -jar t3q.jar" if [[ $# > 0 && $1 == "--echo" ]]; then Loading de.ugoe.cs.swe.T3Q/build/t3q.bat +0 −5 Original line number Diff line number Diff line @echo off if "%JAVA_HOME%" == "" ( echo JAVA_HOME environment variable not set! It must point to the directory of your Java Runtime >= 7.0 goto:eof ) set JAVA_CMD=java -Xmx3g -Xss512m -jar .\t3q.jar if "%1" == "--echo" ( Loading Loading
de.ugoe.cs.swe.T3Q/build/t3q +0 −5 Original line number Diff line number Diff line #!/bin/bash if [ "$JAVA_HOME" == "" ]; then echo "JAVA_HOME environment variable not set! It must point to the directory of your Java Runtime >= 5.0"; exit; fi JAVA_CMD="java -Xmx3g -Xss512m -jar t3q.jar" if [[ $# > 0 && $1 == "--echo" ]]; then Loading
de.ugoe.cs.swe.T3Q/build/t3q.bat +0 −5 Original line number Diff line number Diff line @echo off if "%JAVA_HOME%" == "" ( echo JAVA_HOME environment variable not set! It must point to the directory of your Java Runtime >= 7.0 goto:eof ) set JAVA_CMD=java -Xmx3g -Xss512m -jar .\t3q.jar if "%1" == "--echo" ( Loading