Re: '--' inserted into MAKEFLAGS

[Paul D. Smith]

%% gk <address@hidden> 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 <address@hidden>          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