defs.mk, timed-make-shell.sh: Beautify make benchmark

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2017-12-27 12:59:55 +00:00
commit 6a40259c3e
2 changed files with 5 additions and 6 deletions

View file

@ -5,15 +5,15 @@
ifndef JW_BUILD_DEF_MK_INCLUDED
JW_BUILD_DEF_MK_INCLUDED = true
ifeq ($(MAKE_BENCHMARK),true)
SHELL = /bin/bash $(MOD_SCRIPT_DIR)/timed-make-shell.sh
endif
MAKEFLAGS += -r
include $(MODDIR)/make/platform.mk
include $(MODDIR)/make/projects.mk
ifeq ($(MAKE_BENCHMARK),true)
SHELL = $(MOD_SCRIPT_DIR)/timed-make-shell.sh
endif
# ----- pre-local.mk
ifneq ($(wildcard $(MODDIR)/make/pre-local.mk),)