From 47efb0808887b5fa417a23e4059b370d68824ccf Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Wed, 7 Jan 2026 09:38:47 +0100 Subject: [PATCH] projects-dir.mk: Cope with missing /usr/bin/time Kali Linux' default installation doesn't have /usr/bin/time which brings out a but: $(TIME) doesn't expand to nothing but to -p, which fails miserably, of course. Fix that. 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 58d18f1c..0a5a29ac 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -111,7 +111,10 @@ endif BROWSER ?= xdg-open EDITOR ?= xdg-open ifeq ($(TIME),) - TIME = $(shell which time) -p + TIME := $(shell which time) + ifneq ($(TIME),) + TIME += -p + endif endif PROJECTS_PY = $(TIME) python3 $(JWB_SCRIPT_DIR)/jw-projects.py --prefix $(shell pwd) $(PROJECTS_PY_EXTRA_OPTS) PROJECTS_PY_BUILD = $(PROJECTS_PY) build $(PROJECTS_PY_EXTRA_BUILD_OPTS)