diff options
Diffstat (limited to 'resources/example1/gen.sh')
-rw-r--r-- | resources/example1/gen.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/resources/example1/gen.sh b/resources/example1/gen.sh deleted file mode 100644 index 6fb971e2..00000000 --- a/resources/example1/gen.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/ksh - -JAVA=java -GLUEGEN_JAR=../../../build/gluegen.jar -ANTLR_JAR=../../../../../ANTLR/antlr-2.7.4/antlr.jar - -NAME=`uname` - -if [ $NAME="Windows*" ] ; then - SEP=\; -elif [ $NAME="CYGWIN*" ] ; then - SEP=\; -else - SEP=: -fi - -java -cp $GLUEGEN_JAR$SEP$ANTLR_JAR com.sun.gluegen.GlueGen -I. -Ecom.sun.gluegen.JavaEmitter -Cfunction.cfg function.h |