[m-rev.] diff: fix minor problem with bootchecks

[Ralph Becket]

Zoltan Somogyi, Thursday, 14 April 2005:
> tools/bootcheck:
> 	Fix a small problem with bootchecks: they failed to make the stage3
> 	browser directory on the first try, succeeding only on the second.
> 	This was because the bootcheck was invoking make depend only on
> 	the mdb library, not the two test programs also in the directory,
> 	yet the later "mmake ints" target required those as well.
> 
> Mmakefile:
> 	Provide a target to make sure that make depend has been executed
> 	for all the executables in the browser directory.

Looks fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------