[m-rev.] for review: remove junk from command lines

[Ralph Becket]

Zoltan Somogyi, Friday, 29 April 2005:
> For review by anyone.
> 
> I can't really test the effect of this change on the nightly tests, which
> use a different setup from bootcheck. It is likely that they will need some
> minor tweaks, which I won't have time to do next week.

That looks excellent.  I've been thinking of doing something like this
for ages, so I'm glad you beat me to it.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------