Re: [RCF/PATCH] Makefile: move 'ifdef DEVELOPER' after config.mak* inclusion
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Jun 1, 2016, 07:57 UTC
- Message-ID
- <vpqpos11gv3.fsf@anie.imag.fr>
- In-Reply-To
- <20160601073037.GA14096@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
> Hmm. So I think this does fix some issues, but it also means that one's > config.mak cannot use DEVELOPER as a base and then override particular > flags.
You mean, using "make DEVELOPER=1" and then tweak CFLAGS in config.mak?
Well, you still can do "CFLAGS += ..." (the extra CFLAGS will come before the ones added by DEVELOPER instead of after), which should cover 99% use-cases.
You can't do "CFLAGS = $(filter-out ..., $(CFLAGS))" anymore indeed. But if you are at that level of customization, I'd say DEVELOPER isn't for you and you should just set CFLAGS directly.
Not really serious, but we can fix that easily. Patch follows.
-- Matthieu Moy http://www-verimag.imag.fr/~moy/