diff options
Diffstat (limited to 'make/scripts/setenv-jogl.sh')
| -rwxr-xr-x | make/scripts/setenv-jogl.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/scripts/setenv-jogl.sh b/make/scripts/setenv-jogl.sh index 964bbc5f8..586b667e3 100755 --- a/make/scripts/setenv-jogl.sh +++ b/make/scripts/setenv-jogl.sh @@ -10,8 +10,8 @@ if [ -z "$1" ] ; then exit fi -if [ -e /devtools/etc/profile.ant ] ; then - . /devtools/etc/profile.ant +if [ -e /opt-share/etc/profile.ant ] ; then + . /opt-share/etc/profile.ant fi JOGL_BUILDDIR=$1 |