diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-02-15 17:18:35 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-02-15 17:18:41 +0100 |
commit | 19324cf09cad19c8e42599cfb582140bf4b8828e (patch) | |
tree | 5f63bb66995b3539d3fd3cd3b50d67eedadb88b1 | |
parent | 18cb2d5090553f9a3e786b73731db3a1b1f1919c (diff) | |
parent | ae6eca0f49b7598ec08dcf278ffc1994b637bc37 (diff) |
Merge #7504: Crystal clean make clean
ae6eca0 make clean should clean .a files (Pavel JanÃk)
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index c4f7188971..fa7a78f330 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -430,6 +430,7 @@ endif # CLEANFILES = leveldb/libleveldb.a leveldb/libmemenv.a +CLEANFILES += $(EXTRA_LIBRARIES) CLEANFILES += *.gcda *.gcno CLEANFILES += compat/*.gcda compat/*.gcno CLEANFILES += consensus/*.gcda consensus/*.gcno |