diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
commit | 877520a9fa9020bfbcb10512b6b771f4491d3b9e (patch) | |
tree | 7accf42fef67e1b5dcdd97a324ef72bae4521151 /mk | |
parent | 686d00c01dc3096953156fa43daa164f1d59b7dc (diff) |
Move more commands to Config.mk
Diffstat (limited to 'mk')
-rw-r--r-- | mk/util.mk | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |