[m-rev.] for post-commit review: configure.in enhancements

[Zoltan Somogyi]

On 27-May-2011, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> > +if test $max_minutes -gt 2 -a $min_minutes -ne $max_minutes
> 
> Should this test be done on $max_hours and $min_hours instead?

Yes. Thanks for the catch. Fix committed.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------