diff options
author | Josh Triplett <josh@joshtriplett.org> | 2013-11-27 18:17:17 -0800 |
---|---|---|
committer | Josh Triplett <josh@joshtriplett.org> | 2013-11-27 18:17:17 -0800 |
commit | 26d1b65c532585dfb8c0405af3c56c4217cd1524 (patch) | |
tree | faaa6d4dad5d10c1f0480725285bf31ad7f30718 | |
parent | a26a3676295689d15cb952cbec822021092e2901 (diff) |
src/Makefile.am: Simplify clean of leveldb
-rw-r--r-- | src/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 14d1dd03a6..2b75eff95b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -85,5 +85,4 @@ EXTRA_DIST = leveldb Makefile.include clean-local: -$(MAKE) -C leveldb clean - rm -f leveldb/port/*.gcno leveldb/db/*.gcno leveldb/table/*.gcno leveldb/helpers/*.gcno - rm -f leveldb/util/*.gcno leveldb/helpers/memenv/*.gcno + rm -f leveldb/*/*.gcno leveldb/helpers/memenv/*.gcno |