diff options
| author | Tad Fisher <tadfisher@gmail.com> | 2018-03-04 11:26:13 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-04 11:26:13 -0800 |
| commit | f88e6a338cd976bfa4e14567c1f3024ddc58ab7d (patch) | |
| tree | 4549da42122c877121c38b2956abf5fbd479c554 /test/Makefile | |
| parent | 0737f1f3e8ad8e31b7b5d7eb9b6a6a21eb3781e9 (diff) | |
| parent | 948c2f04cbaf2f065b0c21b80de82f1f0c946e54 (diff) | |
Merge pull request #56 from tadfisher/develop
Merge branch 'develop' into master
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 39f1df2..45882e7 100644 --- a/test/Makefile +++ b/test/Makefile @@ -47,6 +47,7 @@ clean-except-prove-cache: clean: clean-except-prove-cache $(RM) .prove + $(RM) gnupg/random_seed aggregate-results-and-cleanup: $(T) $(MAKE) aggregate-results |