diff --git a/Makefile b/Makefile index c63b073a..c4d5af95 100644 --- a/Makefile +++ b/Makefile @@ -35,6 +35,9 @@ distclean: $(RM) -r $(BUILDDIR) $(TARGETS) $(ECHO) " done" +# Use an explicit rule to not "update" the Makefile via the implicit rule below. +Makefile: ; + %: $(BUILDDIR)/Makefile $(ECHO) "Running make $@ in $(BUILDDIR)…" $(MAKE) -C $(BUILDDIR) $@