Follow-up Comment #4, bug #65759 (group make):
(original poster) Understood about --. WRT -, I don't think it should be an
error, I think it should be treated as a filename as Dmitry says.
IMHO the interesting question is: given that - should be treated as a valid
filename, should it be required to come after a --? I haven't read the POSIX
standard closely so I don't know what it might require but intuitively it
seems that - without -- could be treated as a bogus option whereas after -- it
must be a valid filename. This does not seem to be happening now:
$ cat Makefile
%:; @:$(info creating $@)
$ make -- foo
creating foo
$ make -- -
make: *** No targets. Stop.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?65759>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
