Follow-up Comment #11, bug #57676 (project make):
Dmitry,
[comment #9 comment #9:]
> make should not claim "cannot make the included makefile" having
successfully read the makefile.
> Here is a patch which fixes the issue.
I applied the patch to the source tree of make-4.3, and it does fix the
Follow-up Comment #10, bug #57676 (project make):
Here is a test for this.
+# Test 20.
+# When successfully read an included makefile, update its mtime, if needed.
+# https://savannah.gnu.org/bugs/?57676.
+
+unlink('hello.mk');
+run_make_test(q!
+-include hello.mk
+$(shell echo hello=world
Follow-up Comment #9, bug #57676 (project make):
make should not claim "cannot make the included makefile" having successfully
read the makefile.
Here is a patch which fixes the issue.
regards, Dmitry
diff --git a/src/makeint.h b/src/makeint.h
index c428a36..327849b 100644
--- a/src/makeint.h
