diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make/gluegen-properties.xml | 8 |
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> |