[m-rev.] diff: fix performance bug in mkinit

[Julien Fischer]

On Wed, 5 Oct 2005, Zoltan Somogyi wrote:

> util/mkinit.c:
> 	Fix a bug: stop reading .c files when reaching a line containing
> 	"ENDINIT", instead of looking for the string "ENDINIT " with the space
> 	at the end, which llds_out.m doesn't put there.

For future reference mlds_to_c.m also outputs lines containing ENDINIT.
(at the moment it behaves exacltly as llds_out does though.)

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------