wok view ecj/stuff/ecj.sh.part @ rev 20926

updated fltk, fltk-blocks, fltk-checkers, fltk-colbrowser, fltk-dev, fltk-editor, and fltk-sudoku (1.3.3 -> 1.3.4.2)
author Hans-G?nter Theisgen
date Sat Mar 02 13:00:42 2019 +0100 (2019-03-02)
parents
children
line source
2 if [ -n "$ECJ_VERSION" ] ; then
3 ECJ_JAR="ecj-$ECJ_VERSION.jar"
4 else
5 ECJ_JAR="ecj.jar"
6 fi
8 if [ -z "$JAVA" ] ; then
9 if [ -n "$(which java)" ] ; then
10 JAVA=java
11 elif [ -n "$(which jamvm)" ] ; then
12 JAVA=jamvm
13 elif [ -n "$(which gij)" ] ; then
14 JAVA=gij
15 elif [ -n "$(which kaffe)" ] ; then
16 JAVA=kaffe
17 else
18 echo "Java interpreter not found"
19 exit 1
20 fi
21 fi
23 $JAVA -cp /usr/share/java/$ECJ_JAR org.eclipse.jdt.internal.compiler.batch.Main "$@"