[MLton] Re: [MLton-commit] r5549

Matthew Fluet fluet at tti-c.org
Mon May 7 12:07:13 PDT 2007


> Added CPPFLAGS which can be controlled from `make' command line.
> Removed some trailing whitespace.

> -FLAGS := 
> +FLAGS := $(CPPFLAGS)

Is there a good reason for adding CPPFLAGS to FLAGS, rather than to 
OPTCFLAGS and DEBUGCFLAGS, which is where we integrate CFLAGS?






More information about the MLton mailing list