On Tue, Oct 23, 2007 at 05:20:54 +0900, Stephen J. Turnbull wrote: > How about a halfway house target like: > > remind_me_of_options_too: all > echo "Here are the settings for various commands:" > echo "GHC = $(GHC)"
Hmm, well the settings tend to change from file to file. But I could just print out the settings for the usual cases (not neccessarily the least common denominator) if you think that would be useful. -- Eric Kow http://www.loria.fr/~kow PGP Key ID: 08AC04F9 Merci de corriger mon français.
pgpcrRZWMrT7Z.pgp
Description: PGP signature
_______________________________________________ darcs-devel mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-devel
