[m-dev.] for review: generate index files on web site
Peter Ross
petdr at cs.mu.OZ.AU
Mon Jun 26 17:46:34 AEST 2000
On Mon, Jun 26, 2000 at 05:03:20PM +1000, David Glen JEFFERY wrote:
> On 26-Jun-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > On 26-Jun-2000, David Glen JEFFERY <dgj at hydra.cs.mu.oz.au> wrote:
> > > Hi,
> > >
> > > For Tyson to review:
> >
> > This is cool. The only comment is that perhaps it should be invoked
> > after the files are copied over by the nightly test, rather than the
> > install_www script (which may be invoked separately). This might avoid
> > the possibility of the file getting out of date.
>
> Hmmmm. Good point... I guess it should be invoked at the end of test_mercury
> (ie. after it has created the beta releases for that architecture). There
> is one small (and probably ignorable problem) --- if the tests complete at
> just the right time on more than one machine, things could get scrambled.
> Of course, that would ``never'' happen.
>
Yes, it definately needs to be done at the end of runtests.
Pete
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list