gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Adam Jack" <>
Subject RE: Date mismatch
Date Thu, 31 Jul 2003 17:54:51 GMT
Nick wrote:

Sure, this is good.

Also, we really do need to decide something on -DDSTAMP=@@DATE@@ as Stefan
(effectively) suggested. As gump sets get large, and CVS stays slow, there
will be times when the Jenny in runs on a different day that then
ant/build.xml for individual projects. Doing -DDSTAMP=@@DATE@@ (the value
not that symbol) seems a bit crude, but might be the best way to alleviate
problems for lots of projects.



View raw message