Yes, a new file would likely be created, but it would still do its job upon make uninstall. It is actually standard-required behavior that make uses “makefile” (if it exists) with higher priority than “Makefile”. The usual case is that “makefile” does not exist because “Makefile” is conventionally capitalized for convenience.
Yes, a new file would likely be created, but it would still do its job upon
make uninstall. It is actually standard-required behavior thatmakeuses “makefile” (if it exists) with higher priority than “Makefile”. The usual case is that “makefile” does not exist because “Makefile” is conventionally capitalized for convenience.Dammit, sneaky fox will actually be able to do damage with that command… TIL, thanks.