diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-05 11:38:12 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-05 11:38:12 +0100 |
| commit | bf0aa305193f0b6be6738945795cc55bd42e28fd (patch) | |
| tree | 249cef401c4bc4753291a4ba83100dca6cea31af /test/plugin_triq.mk | |
| parent | 672f9310b5a1fc9e6b7bb65f725f278666511db3 (diff) | |
| download | erlang.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.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 |