diff options
Diffstat (limited to 'make')
-rwxr-xr-x | make/build.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 9552813..5a10ada 100755 --- a/make/build.xml +++ b/make/build.xml @@ -650,7 +650,7 @@ <copy file="${antlr.jar}" todir="${build}" /> </target> - <target name="all" depends="init, gluegen.build, junit.compile" /> + <target name="all" depends="init, gluegen.build, junit.compile, tag.build" /> <target name="clean" depends="init"> <delete includeEmptyDirs="true"> @@ -690,6 +690,10 @@ </junit> </target> + <target name="tag.build"> + <echo message="gluegen.build.number=\"${build.number}\"" file="${build}/artifact.properties"/> + </target> + <target name="junit.compile"> <ant antfile="build-junit.xml" target="junit.compile"/> </target> |