From bf0aa305193f0b6be6738945795cc55bd42e28fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Wed, 5 Dec 2018 11:38:12 +0100 Subject: Fix verbosity of proper and triq tests --- test/plugin_triq.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/plugin_triq.mk') diff --git a/test/plugin_triq.mk b/test/plugin_triq.mk index 2326d12..7350cf7 100644 --- a/test/plugin_triq.mk +++ b/test/plugin_triq.mk @@ -32,7 +32,7 @@ triq-test-dir: build clean "prop_bar() -> ?FORALL(_, any(), true)." > $(APP)/test/$(APP)_tests.erl $i "Run the Triq plugin" - $t $(MAKE) -C $(APP) triq > $(APP)/triq.log + $t $(MAKE) -C $(APP) triq $v > $(APP)/triq.log $i "Check that both properties were checked" $t grep -q prop_foo $(APP)/triq.log -- cgit v1.2.3