8023156: make dist-clean should remove javacservers directory
Reviewed-by: erikj
This commit is contained in:
parent
c1b34fdc2c
commit
90882f83e0
@ -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.
|
# 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!
|
# FIXME: tmp should not be here, fix ResetTimers instead. And remove spec.sh!
|
||||||
dist-clean: clean
|
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 $(filter $(CONF_NAME),$(notdir $(OUTPUT_ROOT))), \
|
||||||
if test "x`$(LS) $(OUTPUT_ROOT)`" != x; then \
|
if test "x`$(LS) $(OUTPUT_ROOT)`" != x; then \
|
||||||
$(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ;\
|
$(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ;\
|
||||||
|
Loading…
x
Reference in New Issue
Block a user