diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 0e08ef0..5cca189 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -86,7 +86,7 @@ $(tmp_bin)/%: bin/% | $(tmp_bin) bins: $(tmp_bins) t_log := $(T_log) $(T_n_log) -test: $(T) $(T_n) +test: $(T) $(T_n) test-prove @cat $(t_log) | $(MRI) test/aggregate.rb @$(RM) $(t_log) @@ -141,6 +141,9 @@ t/random_blob: test-integration: $(T_sh) +test-prove: + prove -vw + check: test-require test test-integration test-all: check |