Hello make makers, I hope you won't mind if I expand on this: > and it looks like case-insensitive GNU make is treating 'make install' and > 'make ./INSTALL' as synonyms. [...]
Indeed it seems weird when "install" is identified with "./install" even though "install" is declared as a phony target. (I don't know how hard it would be to change this, because the .PHONY can appear at the end of the makefile.) Similarly, if a target is declared as phony, it perhaps should be treated as case sensitive even though make is configured as case insensitive. What do you think? Stepan Kasal
