diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2019-05-14 14:28:33 -0400 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2019-05-14 14:28:33 -0400 |
commit | 6d2fba3189608186d1a196a595f21760412ec5e8 (patch) | |
tree | aa9fec9f0b78fd902a4f4b6e0895378118b68fc2 | |
parent | fc9a62af3f87f4bec1e8c904ea99ae50f3c881ef (diff) |
Fix "make clean" to clean out junk files left behind after ssl tests.
We .gitignore'd this junk, but we didn't actually remove it.
-rw-r--r-- | src/test/ssl/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/ssl/Makefile b/src/test/ssl/Makefile index 247550e0e26..3b53972f6f4 100644 --- a/src/test/ssl/Makefile +++ b/src/test/ssl/Makefile @@ -136,6 +136,7 @@ sslfiles-clean: clean distclean maintainer-clean: rm -rf tmp_check + rm -rf ssl/*.old ssl/new_certs_dir ssl/client*_tmp.key check: $(prove_check) |