"make clean" shouldn't fail if "make" wasn't first run

diff --git a/Makefile.in b/Makefile.in
index 5afa084849adbd80bab205ad9e93fe3092f49e0c..c073655448e7083a96c0d2be45a36471e0926449 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -27,9 +27,9 @@ debug-check:
        $(MAKE) -C debug -f $(debug_src_dir)/Makefile src_dir=$(debug_src_dir) XLEN=$(XLEN)
 
 clean:
-       $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) clean
-       $(MAKE) -C benchmarks -f $(bmarkdir)/Makefile src_dir=$(bmarkdir) clean
-       $(MAKE) -C debug -f $(bmarkdir)/Makefile src_dir=$(debug_src_dir) clean
+       [ ! -d isa ]        || $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) clean
+       [ ! -d benchmarks ] || $(MAKE) -C benchmarks -f $(bmarkdir)/Makefile src_dir=$(bmarkdir) clean
+       [ ! -d debug ]      || $(MAKE) -C debug -f $(debug_src_dir)/Makefile src_dir=$(debug_src_dir) clean
 
 .PHONY: benchmarks isa clean