diff options
author | igerasim <none@none> | 2013-08-16 14:43:38 +0200 |
---|---|---|
committer | igerasim <none@none> | 2013-08-16 14:43:38 +0200 |
commit | fca71f0297193de2c3d1ab2407ea1cecbfd435e8 (patch) | |
tree | c52678a45b3f80c2ef039f86a22b80e5a137a328 /common | |
parent | d7181658869c484e6062bc4f23d9f482af1001f2 (diff) |
8023156: make dist-clean should remove javacservers directory
Reviewed-by: erikj
Diffstat (limited to 'common')
-rw-r--r-- | common/makefiles/Main.gmk | 2 |
1 files changed, 1 insertions, 1 deletions
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)'" ;\ |