diff options
| author | sg215889 <[email protected]> | 2009-07-30 02:32:10 -0700 |
|---|---|---|
| committer | sg215889 <[email protected]> | 2009-07-30 02:32:10 -0700 |
| commit | 53983d257104fa0d3ea02538aff894579b50d3e0 (patch) | |
| tree | b6a2660426dc6c54101c7ca7d0774f2d6755c26d /make | |
| parent | 6182c1a3d45478301702e6cf8e98e950f4165110 (diff) | |
Fix gluegen property names
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> |