diff --git a/Makefile.defs b/Makefile.defs index 600b0093b..2bde43d41 100644 --- a/Makefile.defs +++ b/Makefile.defs @@ -2,6 +2,9 @@ ifneq (4.1,$(firstword $(sort $(MAKE_VERSION) 4.1))) $(error your version of make is too old: $(MAKE_VERSION), need at least 4.1) endif +# Prevent make from removing targets it considers as intermediate. +.SECONDARY: + # Note: ensure our possibly updated `PATH` variable is picked up by # `$(shell …)` invocations when using older (<4.4) make versions. ifeq (,$(filter shell-export,$(.FEATURES)))