diff options
-rw-r--r-- | test/plugin_proper.mk | 2 | ||||
-rw-r--r-- | test/plugin_triq.mk | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/plugin_proper.mk b/test/plugin_proper.mk index de53b67..98a7c99 100644 --- a/test/plugin_proper.mk +++ b/test/plugin_proper.mk @@ -32,7 +32,7 @@ proper-test-dir: build clean "prop_bar() -> ?FORALL(_, any(), true)." > $(APP)/test/$(APP)_tests.erl $i "Run the PropEr plugin" - $t $(MAKE) -C $(APP) proper > $(APP)/proper.log + $t $(MAKE) -C $(APP) proper $v > $(APP)/proper.log $i "Check that both properties were checked" $t grep -q prop_foo $(APP)/proper.log 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 |