diff options
author | sg215889 <[email protected]> | 2009-07-09 12:01:08 -0700 |
---|---|---|
committer | sg215889 <[email protected]> | 2009-07-09 12:01:08 -0700 |
commit | 9d910cf21fb8a61e3a1604f6258364c3b725964d (patch) | |
tree | 807af03cae9eadb58712ca6ef899d0e2c228ec25 /make/make.jogl.all.macosx.sh | |
parent | d40b1e2c46786debb0341b3c9f9409d328b02ee8 (diff) |
Make build scripts independent from setenv scriptsGIT_MIGRATION_DONE
Diffstat (limited to 'make/make.jogl.all.macosx.sh')
-rw-r--r-- | make/make.jogl.all.macosx.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/make/make.jogl.all.macosx.sh b/make/make.jogl.all.macosx.sh index e00cd83b6..a85f9344f 100644 --- a/make/make.jogl.all.macosx.sh +++ b/make/make.jogl.all.macosx.sh @@ -1,6 +1,9 @@ #! /bin/sh -. /devtools/etc/profile.ant +if [ -e /devtools/etc/profile.ant ] ; then + . /devtools/etc/profile.ant +fi + # -Dc.compiler.debug=true # -Dbuild.noarchives=true |