summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index f49d0bf9..697cf69f 100644
--- a/Makefile
+++ b/Makefile
@@ -154,9 +154,9 @@ manual: $(TARGETS) $(EXTRA_TARGETS)
clean:
rm -rvf share
cd manual && bash clean.sh
- rm -vf $(OBJS) $(GENFILES) $(TARGETS)
+ rm -vf $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
rm -vf kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
- rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d
+ rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
mrproper: clean
@@ -193,6 +193,7 @@ config-sudo:
-include passes/*/*.d
-include backends/*/*.d
-include kernel/*.d
+-include techlibs/*/*.d
.PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator
.PHONY: config-clean config-clang-debug config-gcc-debug config-release