OK, thanks; I didn't realize these settings aren't typically cached.
I guess I'm on the fence about this: I can see where caching them could
confuse newbies, but it seems like it would annoy slightly more
sophisticated users. I guess keeping the newbies less confused is more
important. Is there anything about this in the GNU standards?
--
-------------------------------------------------------------------------------
Paul D. Smith <[EMAIL PROTECTED]> Find some GNU make tips at:
http://www.gnu.org http://www.paulandlesley.org/gmake/
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist