]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b86e35d) | patch
(read_makefile): Don't mark makefiles as precious. Just like other
authorRoland McGrath <roland@redhat.com>
Thu, 21 Apr 1994 01:39:36 +0000 (01:39 +0000)
committerRoland McGrath <roland@redhat.com>
Thu, 21 Apr 1994 01:39:36 +0000 (01:39 +0000)
commiteb088188289bfffeb3ef8dbaf6da6a76fe698c0a
treedd58999d2cb8387be0d9a8a10273593b0d36d85ctree
parentb86e35d2a61d09c02a0849b9935aefb694139eb0commit | diff
(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.
read.c diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git