diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-14 16:30:52 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-14 16:30:52 (EDT) |
commit | c0032db99c863052d982c2a1fa8263d1c93e0510 (patch) | |
tree | 2f94bac000ce4ff52bc1141cac1a7ded67c5d003 | |
parent | d479bce043ca2d1d76099b37d180adb8add5160c (diff) |
3rdparty/local.mk: Clean 3rdparty/usign/Makefile
-rw-r--r-- | 3rdparty/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/3rdparty/local.mk b/3rdparty/local.mk index 6bb83c2..c93c4de 100644 --- a/3rdparty/local.mk +++ b/3rdparty/local.mk @@ -8,5 +8,6 @@ clean-local: -(cd 3rdparty/usign/ && make VERBOSE=$(V) clean) distclean-local: -rm -Rf 3rdparty/usign/CMakeFiles/ - -rm -f 3rdparty/usign/CMakeCache.txt 3rdparty/usign/cmake_install.cmake + -rm -f 3rdparty/usign/CMakeCache.txt 3rdparty/usign/Makefile \ + 3rdparty/usign/cmake_install.cmake endif |