# HG changeset patch # User Simon Howkins # Date 1254763348 -3600 # Node ID 0dd169f565642a9082c9319e1fe51d3f1211ecf1 # Parent 339b33d6402f6abf11c531cbcf9b214e45a3faa4 Save the diamonds build ID in a file as soon as it is generated. diff -r 339b33d6402f -r 0dd169f56564 common/build.xml --- a/common/build.xml Mon Oct 05 17:17:29 2009 +0100 +++ b/common/build.xml Mon Oct 05 18:22:28 2009 +0100 @@ -211,6 +211,8 @@ [SF-DIAMONDS-TAG-BUILD] + + ant: antProperties()