gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Adam Jack" <aj...@trysybase.com>
Subject Re: Date mismatch
Date Wed, 30 Jul 2003 17:09:26 GMT

> Nick Chalko wrote:
>
> It looks like the failed merge step was the cause.   my 09:00  run
> worked fine.
>
Can we modify the gump.sh to test for gen failure and stop?

That said, this problem has also occured on public gump before, but who
knows -- maybe for the same reason. I stil think there is more to dig into
with this.

regards

Adam


Mime
View raw message