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.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/hl/tools/Makefile.in b/hl/tools/Makefile.in
index dc1f4f6..069c85c 100644
--- a/hl/tools/Makefile.in
+++ b/hl/tools/Makefile.in
@@ -193,6 +193,7 @@ SET_MAKE = @SET_MAKE@
SHELL = /bin/sh
SIZE_T = @SIZE_T@
STATIC_SHARED = @STATIC_SHARED@
+STRICT_FORMAT_CHECKS = @STRICT_FORMAT_CHECKS@
STRIP = @STRIP@
TESTPARALLEL = @TESTPARALLEL@
TIME = @TIME@