(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.

diff --git a/read.c b/read.c
index e232d99238048e5cf70c589124a066aa7719583f..4b66c9350c771dca789b6d55e4ecc82259ad6892 100644 (file)
--- a/read.c
+++ b/read.c
@@ -331,7 +331,6 @@ read_makefile (filename, flags)
        deps->file->dontcare = 1;
     }
   filename = deps->file->name;
-  deps->file->precious = 1;
   deps->changed = flags;
   deps = 0;