I hacked up 2.7.2.3 for -save-temps to have precedence over -pipe (for these
occassions). Unfortunately, the Richard Kenner rejected the logic.
So, when makefiles have -pipe, I do:
PIPE=-pipe
CFLAGS=$(PIPE) ....other stuff
so I can do (on the command line)
make PIPE=-save-temps
to get save-temps behavior.
It would be easier if this change was put into linux.
Also, why does linux top level make
have
MAKE=make?
Why don't we just leave make alone
(so you can do
make -j 2
like you normally do instead of
make MAKE='make -j 2'
marty leisner@sdsp.mc.xerox.com
Don't confuse education with schooling.
Milton Friedman to Yogi Berra