thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Minor touch-up to my previous commit. I'd left out the invocation of

Browse source 
the JUnit tests and subsequent report generation.
This commit is contained in:
dchandler 2003-02-10 04:37:04 +00:00
parent bb19c4f6d1
commit b49c441e6e
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
build.xml
View file

@ -207,21 +207,35 @@
am lazy). I stopped a couple from so doing, but I'm not sure am lazy). I stopped a couple from so doing, but I'm not sure
if I got them all. --> if I got them all. -->
<!-- DLC FIXME: If you change *build.xml, then 'ant
dc-nightly-build' will be using the OLD build.xml, not the new
one. You should update and then use a new ant process to read
the potentially revised buildfiles. -->
<antcall target="cvs-update"/> <antcall target="cvs-update"/>
<antcall target="web-start-releases"/> <antcall target="web-start-releases"/>
<antcall target="self-contained-dist"/> <antcall target="self-contained-dist"/>
<!-- vanilla JARs: -->
<antcall target="dist"/> <antcall target="dist"/>
<antcall target="public-javadocs-dist"> <antcall target="public-javadocs-dist">
<param name="DSTAMP" value="today"/> <param name="DSTAMP" value="today"/>
</antcall> </antcall>
<unzip src="${dist}/docs/public-javadocs-today.zip" dest="${dist}/docs/public"/> <unzip src="${dist}/docs/public-javadocs-today.zip" dest="${dist}/docs/public"/>
<antcall target="private-javadocs-dist"> <antcall target="private-javadocs-dist">
<param name="DSTAMP" value="today"/> <param name="DSTAMP" value="today"/>
</antcall> </antcall>
<unzip src="${dist}/docs/private-javadocs-today.zip" dest="${dist}/docs/private"/> <unzip src="${dist}/docs/private-javadocs-today.zip" dest="${dist}/docs/private"/>
<antcall target="src-dist"> <antcall target="src-dist">
<param name="DSTAMP" value="today"/> <param name="DSTAMP" value="today"/>
</antcall> </antcall>
<antcall target="check-report"/>
<echo file="${dist}/DateStampForNightlyBuilds.html" <echo file="${dist}/DateStampForNightlyBuilds.html"
append="false"><![CDATA[<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> append="false"><![CDATA[<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html> <html>