Add a top-level make clean target.

diff --git a/Makefile.in b/Makefile.in
index f81b39424a8972cc7684539910d96911425a5b8b..62a3a6f3a239a9cc04a6887247e7c26f220b6a22 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -15,4 +15,9 @@ benchmarks:
 isa:
        $(MAKE) -f $(isa_src_dir)/Makefile isa_src_dir=$(isa_src_dir)
 
-.PHONY: benchmarks isa
+clean:
+       $(MAKE) -f $(isa_src_dir)/Makefile isa_src_dir=$(isa_src_dir) clean
+       $(MAKE) -f $(bmarkdir)/Makefile bmarkdir=$(bmarkdir) clean
+
+.PHONY: benchmarks isa clean
+