Fixed "make clean" for out-of-tree builds

diff --git a/Makefile b/Makefile
index 3fb9c570346b10e46a0613d5ffd47ed261875230..6585ca39fcb61b411ec49c1eac3662bae62be9f0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -397,7 +397,7 @@ manual: $(TARGETS) $(EXTRA_TARGETS)
 
 clean:
        rm -rf share
-       cd manual && bash clean.sh
+       if test -d manual; then cd manual && sh clean.sh; fi
        rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) $(EXTRA_OBJS)
        rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
        rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d