diff options
Diffstat (limited to 'mk/sub-makefile.mk')
-rw-r--r-- | mk/sub-makefile.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/mk/sub-makefile.mk b/mk/sub-makefile.mk index 0ed85c8d56..12f47f0f45 100644 --- a/mk/sub-makefile.mk +++ b/mk/sub-makefile.mk @@ -9,7 +9,12 @@ # make clean ==> make -C $(TOP) clean_dir # -# Important, otherwise we get silly built-in rules: +# Eliminate use of the built-in implicit rules, and clear out the default list +# of suffixes for suffix rules. Speeds up make quite a bit. Both are needed +# for the shortest `make -d` output. +# Don't set --no-builtin-variables; some rules might stop working if you do +# (e.g. 'make clean' in testsuite/ currently relies on an implicit $RM). +MAKEFLAGS += --no-builtin-rules .SUFFIXES: TOPMAKE = $(MAKE) -C $(TOP) |