aboutsummaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-10 11:19:47 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-10 11:19:47 -0700
commit877520a9fa9020bfbcb10512b6b771f4491d3b9e (patch)
tree7accf42fef67e1b5dcdd97a324ef72bae4521151 /mk
parent686d00c01dc3096953156fa43daa164f1d59b7dc (diff)
Move more commands to Config.mk
Diffstat (limited to 'mk')
-rw-r--r--mk/util.mk4
1 files changed, 3 insertions, 1 deletions
diff --git a/mk/util.mk b/mk/util.mk
index 7449b04..c37c8034 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -14,6 +14,7 @@ cmd = @$(echo-cmd) $(cmd_$1)
label = $(if $(Q),$(Q)echo ' $1';)
+find-cmd = $(shell which $1 2$(redir))
drop-prefix = $(patsubst $(topdir)/%,%,$1)
@@ -29,7 +30,8 @@ quiet_cmd_cp = CP $(call drop-prefix,$@)
ifeq "$(strict)" "1"
-strict-error = $(error $1)
+strict-error = $(error $1)
+strict-warning = $(warning $1)
endif