[m-dev.] for review: don't delete Mercury-generated C files unnecessarily

[Mark Anthony BROWN]

Zoltan Somogyi writes:
> 
> 
> For review by anyone.
> 
> Estimated hours taken: 1
> 
> configure.in:
> 	Do not blindly remove the Mercury generated C files in the compiler,
> 	library, browser and profiler directories if the results of the
> 	autoconfiguration do not match the standard source distribution's
> 	assumptions with respect to the number of tag bits and the use of
> 	unboxed floats. Instead, delete these C files only if the result
> 	of the autoconfiguration differ from the parameter settings that
> 	were used in creating those C files.
> 
> Zoltan.

That looks OK.

-- 
Mark Brown  (dougl at cs.mu.oz.au)       )O+   |  For Microsoft to win,
MEngSc student,                             |  the customer must lose
Dept of Computer Science, Melbourne Uni     |          -- Eric S. Raymond
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------