diff options
| author | Pavel Janík <[email protected]> | 2016-02-10 21:03:51 +0100 |
|---|---|---|
| committer | Pavel Janík <[email protected]> | 2016-02-10 21:03:51 +0100 |
| commit | ae6eca0f49b7598ec08dcf278ffc1994b637bc37 (patch) | |
| tree | f0db628f4a7291e58775871a1b18de656aa10f47 /src/Makefile.am | |
| parent | Merge #7502: Update the wallet best block marker when pruning (diff) | |
| download | discoin-ae6eca0f49b7598ec08dcf278ffc1994b637bc37.tar.xz discoin-ae6eca0f49b7598ec08dcf278ffc1994b637bc37.zip | |
make clean should clean .a files
Diffstat (limited to 'src/Makefile.am')
| -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 c4f718897..fa7a78f33 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 |