diff options
| author | Sven Gothel <[email protected]> | 2010-05-05 15:14:51 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2010-05-05 15:14:51 +0200 |
| commit | 574a772703531da2854a566662af9c8b8f9770fe (patch) | |
| tree | 7c885e097e82f0eb4eed56980b8fc65e49e013f6 /make/scripts/setenv-jogl.sh | |
| parent | 862c0e0301f5d18f246019a5261c3265143c0d3d (diff) | |
Add JOGL_ALLALL profile for scripting, to use the <module>.all.jar bundles
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 |