aboutsummaryrefslogtreecommitdiffstats
path: root/test/plugin_triq.mk
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2018-12-05 11:38:12 +0100
committerLoïc Hoguin <[email protected]>2018-12-05 11:38:12 +0100
commitbf0aa305193f0b6be6738945795cc55bd42e28fd (patch)
tree249cef401c4bc4753291a4ba83100dca6cea31af /test/plugin_triq.mk
parent672f9310b5a1fc9e6b7bb65f725f278666511db3 (diff)
downloaderlang.mk-bf0aa305193f0b6be6738945795cc55bd42e28fd.tar.gz
erlang.mk-bf0aa305193f0b6be6738945795cc55bd42e28fd.tar.bz2
erlang.mk-bf0aa305193f0b6be6738945795cc55bd42e28fd.zip
Fix verbosity of proper and triq tests
Diffstat (limited to 'test/plugin_triq.mk')
-rw-r--r--test/plugin_triq.mk2
1 files changed, 1 insertions, 1 deletions
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