%% gk <[EMAIL PROTECTED]> writes: g> I think it would be better for make not to insert the '--' g> automatically since it handles options and overrides fine without g> it. It only serves to trip up people like me :-)
I think it might be necessary. What if you had: $ make -- -FOO=bar I think without the -- this would cause problems. -- ------------------------------------------------------------------------------- Paul D. Smith <[EMAIL PROTECTED]> Find some GNU make tips at: http://www.gnu.org http://make.paulandlesley.org "Please remain calm...I may be mad, but I am a professional." --Mad Scientist _______________________________________________ Help-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-make
