More Makefile cleanups

diff --git a/Makefile b/Makefile
index f49d0bf96241728cca7bfa8f91289ef0fb35930a..697cf69fee708d57b52b75294d49f1775ad9212b 100644 (file)
--- 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