diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index eab9082..70e7e10 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -11,6 +11,7 @@ RSYNC = rsync OLDDOC = olddoc RDOC = rdoc INSTALL = install +PROVE = prove GIT-VERSION-FILE: .FORCE-GIT-VERSION-FILE @./GIT-VERSION-GEN @@ -141,8 +142,8 @@ t/random_blob: test-integration: $(T_sh) -test-prove: - prove -vw +test-prove: t/random_blob + $(PROVE) -vw check: test-require test test-integration test-all: check |