diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build-common.xml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/make/build-common.xml b/make/build-common.xml index 91f423e86..8503550ec 100644 --- a/make/build-common.xml +++ b/make/build-common.xml @@ -355,14 +355,7 @@ <!-- Run the GlueGen build to ensure that the GlueGen ANT task - has been built. --> - <!-- FIXME: remove passing down of antlr.jar when gluegen.properties is on all - nightly build machines --> - <ant antfile="${gluegen.build.xml}" dir="${gluegen.make}" target="all" inheritAll="false"> - <propertyset> - <propertyref name="antlr.jar" /> - <!--propertyref name="gluegen.nsig" /--> - </propertyset> - </ant> + <ant antfile="${gluegen.build.xml}" dir="${gluegen.make}" target="base.compile" inheritAll="false"/> </target> |