diff options
author | Kenneth Russel <[email protected]> | 2009-05-15 21:07:37 +0000 |
---|---|---|
committer | Kenneth Russel <[email protected]> | 2009-05-15 21:07:37 +0000 |
commit | 9e979e542165358b5c3684078e193f9c706f1eab (patch) | |
tree | f025d9eedf6f7193fec9741533b0feb6b53e084f /doc/manual/example3/gen.sh | |
parent | 46b03a7c00a014e15417e504cf264ed5dca0a030 (diff) |
Updated .cfg files to properly #include headers; updated build scripts
to correctly pick up OS
git-svn-id: file:///usr/local/projects/SUN/JOGL/git-svn/../svn-server-sync/gluegen/trunk@133 a78bb65f-1512-4460-ba86-f6dc96a7bf27
Diffstat (limited to 'doc/manual/example3/gen.sh')
-rw-r--r-- | doc/manual/example3/gen.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual/example3/gen.sh b/doc/manual/example3/gen.sh index 6fb971e..c44676f 100644 --- a/doc/manual/example3/gen.sh +++ b/doc/manual/example3/gen.sh @@ -2,13 +2,13 @@ JAVA=java GLUEGEN_JAR=../../../build/gluegen.jar -ANTLR_JAR=../../../../../ANTLR/antlr-2.7.4/antlr.jar +ANTLR_JAR=../../../../../ANTLR/antlr-2.7.5.jar NAME=`uname` -if [ $NAME="Windows*" ] ; then +if [[ $NAME == "Windows*" ]] ; then SEP=\; -elif [ $NAME="CYGWIN*" ] ; then +elif [[ $NAME == "CYGWIN*" ]] ; then SEP=\; else SEP=: |