diff options
Diffstat (limited to 'test/plugin_triq.mk')
-rw-r--r-- | test/plugin_triq.mk | 2 |
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 |