diff options
| author | Tom Lane | 2019-05-14 18:28:33 +0000 |
|---|---|---|
| committer | Tom Lane | 2019-05-14 18:28:33 +0000 |
| commit | 6d2fba3189608186d1a196a595f21760412ec5e8 (patch) | |
| tree | aa9fec9f0b78fd902a4f4b6e0895378118b68fc2 /src | |
| 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.
Diffstat (limited to 'src')
| -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) |