diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 10:51:45 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:51:45 -0700 |
| commit | f30113e8b3fa07d564cc2f564726f69227b3a9bd (patch) | |
| tree | 036b6f5c1c3a80d300b8ff33ac1184a55e31fd41 /mk | |
| parent | 9b908f7cbe4325847a149446a369fc76dfdcad53 (diff) | |
Give the build system the option of failing on warnings
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/util.mk | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -28,5 +28,10 @@ quiet_cmd_cp = CP $(call drop-prefix,$@) cmd_cp = cp $< $@ +ifeq "$(strict)" "1" +strict-error = $(error $1) +endif + + print-%: @echo "$* = $($*)" |