From f30113e8b3fa07d564cc2f564726f69227b3a9bd Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 10 Jun 2013 10:51:45 -0700
Subject: Give the build system the option of failing on warnings

---
 mk/util.mk | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'mk')

diff --git a/mk/util.mk b/mk/util.mk
index a92b29a..7449b04 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -28,5 +28,10 @@ quiet_cmd_cp = CP         $(call drop-prefix,$@)
       cmd_cp = cp $< $@
 
 
+ifeq "$(strict)" "1"
+strict-error = $(error $1)
+endif
+
+
 print-%:
 	@echo "$* = $($*)"
-- 
cgit v1.2.3