nagios-charmers team mailing list archive

[Drew Freiberger <drew.freiberger@xxxxxxxxxxxxx>]

Drew Freiberger has proposed merging ~afreiberger/charm-nagios:fix-proof into charm-nagios:master.

Requested reviews:
  Nagios Charm developers (nagios-charmers)

For more details, see:
https://code.launchpad.net/~afreiberger/charm-nagios/+git/nagios-charm/+merge/389351
-- 
Your team Nagios Charm developers is requested to review the proposed merge of ~afreiberger/charm-nagios:fix-proof into charm-nagios:master.

diff --git a/Makefile b/Makefile
index 7e1e684..2fa31fc 100644
--- a/Makefile
+++ b/Makefile
@@ -58,7 +58,7 @@ black:
 
 proof:
 	@echo "Running charm proof"
-	@-charm proof
+	@charm proof
 
 unittests:
 	@echo "Running unit tests"