diff options
Diffstat (limited to 'test/plugin_proper.mk')
-rw-r--r-- | test/plugin_proper.mk | 2 |
1 files changed, 1 insertions, 1 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 |