Bug#614916: make: phony included makefile not re-read

Package: make Version: 3.81-8.2 Followup-For: Bug #614916 The following workaround works: -- all: build ifeq ($(MAKE_RESTARTS),) Makefile.foo: FORCE FORCE: endif build: @echo "running build at $$(date)" Makefile.fo

Bug#614916: make: phony included makefile not re-read

Package: make Version: 3.81 X-Debbugs-CC: dir...@debian.org, pou...@bertin.fr The following makefile has Makefile.foo built only once, but when it is generated, it is re-read as expected: $ make all Makefile:1: Makefile.foo: No such file or directory printf "all:\n\techo bouh\n" > Makefile.foo ec