diff options
Diffstat (limited to 'make/gluegen-properties.xml')
| -rwxr-xr-x | make/gluegen-properties.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/gluegen-properties.xml b/make/gluegen-properties.xml index ec3b988..a7c6315 100755 --- a/make/gluegen-properties.xml +++ b/make/gluegen-properties.xml @@ -41,8 +41,10 @@ <echo message="Loaded ${gluegen.user.properties.file.set}." /> <property name="antlr.jar" value="${gluegen.root}/make/lib/antlr.jar" /> <property name="junit.jar" value="${gluegen.root}/make/lib/junit.jar" /> + <property name="win32.c.compiler" value="mingw" /> <echo message="antlr.jar=${antlr.jar}" /> <echo message="junit.jar=${junit.jar}" /> + <echo message="win32.c.compiler=${win32.c.compiler}" /> </target> </project> |