Merge pull request The-OpenROAD-Project#2438 from widlarizer/emil/time

Makefile: use env for time
vvbandeira · Oct 10, 2024 · 87b0514 · 87b0514
2 parents 63c1ba9 + b1bc55a
commit 87b0514
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flow/Makefile b/flow/Makefile
@@ -262,7 +262,7 @@ YOSYS_FLAGS += -v 3
 
 #-------------------------------------------------------------------------------
 # setup all commands used within this flow
-export TIME_BIN   ?= /usr/bin/time
+export TIME_BIN   ?= env time
 TIME_CMD = $(TIME_BIN) -f 'Elapsed time: %E[h:]min:sec. CPU time: user %U sys %S (%P). Peak memory: %MKB.'
 TIME_TEST = $(shell $(TIME_CMD) echo foo 2>/dev/null)
 ifeq (,$(strip $(TIME_TEST)))