> 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?