From 2061d731f5220b9649c805f381b17a35fdc88a7e Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sat, 16 Feb 2019 10:16:19 +0000 Subject: [PATCH] projects-dir.mk: Add time measurement to make all The "all" target's command is now preceded by /usr/bin/time by default Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 57019192..146e9905 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -100,6 +100,9 @@ endif BROWSER ?= xdg-open EDITOR ?= xdg-open +ifeq ($(TIME),) + TIME = $(shell which time) -p +endif PROJECTS_PY = python2 $(MOD_SCRIPT_DIR)/projects.py --prefix $(shell pwd) $(PROJECTS_PY_EXTRA_OPTS) PROJECTS_PY_BUILD = $(PROJECTS_PY) build $(PROJECTS_PY_EXTRA_BUILD_OPTS) PGIT_SH = /bin/bash $(MOD_SCRIPT_DIR)/pgit.sh @@ -123,7 +126,7 @@ CVS_PROJECTS = $(patsubst %/,%,$(dir $(wildcard $(addsuffix /CVS,$(BUIL # --- mandatory targets all: $(filter-out $(UNAVAILABLE_TARGETS),pull.done links.done) - $(PROJECTS_PY_BUILD) $@ $(TARGET_PROJECTS) + $(TIME) $(PROJECTS_PY_BUILD) $@ $(TARGET_PROJECTS) clean: clean-dirs done.clean distclean: clean-all-dirs done.clean install: