Nick wrote:
-Dgump.ws=/fullyqualified/path
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 gen.sh 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.
regards
Adam
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
