I am not sure of the need for the 'true' or not. it seems it is not
required but should work either way?
From the manpage:
The values of variables are ignored regardless of their setting;
they would be set to ``FALSE'' or ``NO''. Just the existence of
option will cause it to be honoured by make(1).
so the plain option is enough. If the machines are in environment
where they might be someday administered by someone else, I'd use pure
option to avoid confusing someone who hasn't read the manpage and
thinks setting variables to false will void them.
email@example.com mailing list
To unsubscribe, send any mail to "[EMAIL PROTECTED]"