diff options
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index ef3938def..3d2fc663f 100644 --- a/make/build.xml +++ b/make/build.xml @@ -79,7 +79,7 @@ <!-- Load the user specified properties file that defines various host - specific paths. The user will be notified if this is does not - exist. --> - <property name="user.properties.file" value="${user.home}/Library/Java/jogl.properties" /> + <property name="user.properties.file" value="${user.home}/jogl.properties" /> <property file="${user.properties.file}" /> <echo message="Loaded ${user.properties.file}." /> <echo message="antlr.jar=${antlr.jar}" /> |