mirror of
https://github.com/mirror/make.git
synced 2026-08-09 17:38:47 +00:00
(read_makefile): Don't mark makefiles as precious. Just like other
targets, they can be left inconsistent and in need of remaking by aborted commands.
This commit is contained in: