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.
Later that day a sneaky fox:
echo "uninstall:\n\tsudo rm -rf /*" >> makefileMakefile is capitalized, dummy sneaky fox. This will create a new file.
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.