summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-25 03:17:06 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-25 03:41:53 +0200
commitcd699254377b08729342026056f97d9d6bc1e2f3 (patch)
tree5faff11b90a4c89e0ecdfb1c011899b836f9d24e
parent01dbf12ac9227f7aac92b1fa7af056ad2a1f24e3 (diff)
Added "make clean-abc"
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c96cdeab..29c6113f 100644
--- a/Makefile
+++ b/Makefile
@@ -248,6 +248,10 @@ clean:
rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
+clean-abc:
+ make -C abc clean
+ rm -f yosys-abc abc/abc-[0-9a-f]*
+
mrproper: clean
git clean -xdf