From b555a9f4d0a21c696ec208311a1a16cfade10c44 Mon Sep 17 00:00:00 2001
From: igerasim <unknown>
Date: Fri, 16 Aug 2013 14:43:38 +0200
Subject: [PATCH] 8023156: make dist-clean should remove javacservers directory
 Reviewed-by: erikj

---
 common/makefiles/Main.gmk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/makefiles/Main.gmk b/common/makefiles/Main.gmk
index 1214ce5..dd99df2 100644
--- a/common/makefiles/Main.gmk
+++ b/common/makefiles/Main.gmk
@@ -204,7 +204,7 @@ clean: clean-langtools clean-corba clean-jaxp clean-jaxws clean-hotspot clean-jd
 # If the output directory was created by configure and now becomes empty, remove it as well.
 # FIXME: tmp should not be here, fix ResetTimers instead. And remove spec.sh!
 dist-clean: clean
-	@($(CD) $(OUTPUT_ROOT) && $(RM) -r *spec.gmk config.* configure-arguments Makefile compare.sh spec.sh tmp)
+	@($(CD) $(OUTPUT_ROOT) && $(RM) -r *spec.gmk config.* configure-arguments Makefile compare.sh spec.sh tmp javacservers)
 	@$(if $(filter $(CONF_NAME),$(notdir $(OUTPUT_ROOT))), \
     if test "x`$(LS) $(OUTPUT_ROOT)`" != x; then \
         $(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ;\
-- 
GitLab