diff options
Diffstat (limited to 'make/scripts/setenv-jogl.sh')
| -rw-r--r-- | make/scripts/setenv-jogl.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/make/scripts/setenv-jogl.sh b/make/scripts/setenv-jogl.sh index f7d42a193..a5a5d6adc 100644 --- a/make/scripts/setenv-jogl.sh +++ b/make/scripts/setenv-jogl.sh @@ -1,7 +1,7 @@ #! /bin/sh function print_usage() { - echo "Usage: $0 jogl-build-dir" + echo "Usage: $0 jogl-build-dir [JOGL_PROFILE]" } if [ -z "$1" ] ; then @@ -14,11 +14,16 @@ if [ -e /devtools/etc/profile.ant ] ; then . /devtools/etc/profile.ant fi -JOGL_PROFILE=JOGL_ALL - JOGL_BUILDDIR=$1 shift +if [ -z "$1" ] ; then + JOGL_PROFILE=JOGL_ALL +else + JOGL_PROFILE=$1 + shift +fi + THISDIR=`pwd` if [ -e "$JOGL_BUILDDIR" ] ; then |