Eric Kow writes: > This causes make to spit out pithy messages like > [ghc] src/Darcs/IO.o
Cool!
How about a halfway house target like:
remind_me_of_options_too: all
echo "Here are the settings for various commands:"
echo "GHC = $(GHC)"
etc etc. Obviously I'm not serious about the _name_ of the target. ;-)
_______________________________________________
darcs-devel mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-devel
