summaryrefslogtreecommitdiffstats
path: root/hl/tools/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'hl/tools/Makefile.in')
-rw-r--r--hl/tools/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/hl/tools/Makefile.in b/hl/tools/Makefile.in
index 021c441..2191fee 100644
--- a/hl/tools/Makefile.in
+++ b/hl/tools/Makefile.in
@@ -208,6 +208,7 @@ SIZE_T = @SIZE_T@
STATIC_SHARED = @STATIC_SHARED@
STRIP = @STRIP@
TESTPARALLEL = @TESTPARALLEL@
+TIME = @TIME@
TR = @TR@
TRACE_API = @TRACE_API@
USE_FILTER_DEFLATE = @USE_FILTER_DEFLATE@
@@ -271,7 +272,6 @@ target_alias = @target_alias@
# Shell commands used in Makefiles
RM = rm -f
CP = cp
-TIME = time
# Some machines need a command to run executables; this is that command
# so that our tests will run.