summaryrefslogtreecommitdiffstats
path: root/make
diff options
context:
space:
mode:
Diffstat (limited to 'make')
-rwxr-xr-xmake/gluegen-properties.xml8
1 files changed, 4 insertions, 4 deletions
diff --git a/make/gluegen-properties.xml b/make/gluegen-properties.xml
index 084ce7e..834aae7 100755
--- a/make/gluegen-properties.xml
+++ b/make/gluegen-properties.xml
@@ -20,13 +20,13 @@
-->
<project name="GlueGen-properties" basedir=".">
- <target name="gluegen.properties.load.user" unless="user.properties.file">
+ <target name="gluegen.properties.load.user" unless="gluegen.user.properties.file">
<!-- 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}/gluegen.properties" />
- <property file="${user.properties.file}" />
- <echo message="Loaded ${user.properties.file}." />
+ <property name="gluegen.user.properties.file" value="${user.home}/gluegen.properties" />
+ <property file="${gluegen.user.properties.file}" />
+ <echo message="Loaded ${gluegen.user.properties.file}." />
<fail message="antlr.jar was not specified in gluegen.properties. Please see README.txt for instructions" unless="antlr.jar"/>
<echo message="antlr.jar=${antlr.jar}" />
</target>