diff options
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 |