changeset 1247 | 3329abb5855b |
parent 1243 | 5a935138ebeb |
child 1255 | e327203f186d |
--- a/common/build.xml Mon Oct 04 17:13:08 2010 +0100 +++ b/common/build.xml Tue Oct 05 13:15:25 2010 +0100 @@ -722,6 +722,7 @@ <headfilter skip="1"/> </filterchain> </loadfile> + <property name="rnd.source.no.header" value=""/> <echo message="${rnd.source.no.header}" file="${temp.build.dir}/sources_rnd_no_header.csv"/> <!-- order is important as the rnd source now has no header -->