diff options
-rw-r--r-- | Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index f81b394..62a3a6f 100644 --- 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 + |