diff options
author | Sven Gothel <[email protected]> | 2009-10-02 13:40:48 -0700 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2009-10-02 13:40:48 -0700 |
commit | 22e98bcb38d51c5f9170d4d3d5afea89647413d4 (patch) | |
tree | 8abe9ad09a80686f4703e572d2b4604f53916f43 /make/gluegen.properties | |
parent | 889b9574958b04988ab3acbabab109745fbc379a (diff) |
Add custom config locations via properties 'gluegen.user.properties.file' and 'gluegen.user.compiler.file'
Diffstat (limited to 'make/gluegen.properties')
-rwxr-xr-x | make/gluegen.properties | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/make/gluegen.properties b/make/gluegen.properties index 2e110e3..8d667b4 100755 --- a/make/gluegen.properties +++ b/make/gluegen.properties @@ -1,7 +1,12 @@ ############################################################################### # The host specific properties. The build will inform you of required -# properties. This file must be copied into your home directory (pointed +# properties. This file shall be copied into your home directory (pointed # to by the Java system property user.home) and the copy modified appropriately. +# +# You may also specify the location of this file +# while setting the property 'gluegen.user.properties.file', ie: +# -Dgluegen.user.properties.file=`pwd`/lib/gluegen.properties +# ############################################################################### # # The required antlr.jar property that is the full path to the antlr.jar |