202 |
202 |
203 # Remove everything, including configure configuration. |
203 # Remove everything, including configure configuration. |
204 # If the output directory was created by configure and now becomes empty, remove it as well. |
204 # If the output directory was created by configure and now becomes empty, remove it as well. |
205 # FIXME: tmp should not be here, fix ResetTimers instead. And remove spec.sh! |
205 # FIXME: tmp should not be here, fix ResetTimers instead. And remove spec.sh! |
206 dist-clean: clean |
206 dist-clean: clean |
207 @($(CD) $(OUTPUT_ROOT) && $(RM) -r *spec.gmk config.* configure-arguments Makefile compare.sh spec.sh tmp) |
207 @($(CD) $(OUTPUT_ROOT) && $(RM) -r *spec.gmk config.* configure-arguments Makefile compare.sh spec.sh tmp javacservers) |
208 @$(if $(filter $(CONF_NAME),$(notdir $(OUTPUT_ROOT))), \ |
208 @$(if $(filter $(CONF_NAME),$(notdir $(OUTPUT_ROOT))), \ |
209 if test "x`$(LS) $(OUTPUT_ROOT)`" != x; then \ |
209 if test "x`$(LS) $(OUTPUT_ROOT)`" != x; then \ |
210 $(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ;\ |
210 $(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ;\ |
211 else \ |
211 else \ |
212 ($(CD) $(SRC_ROOT) && $(ECHO) "Removing configuration directory for '$(CONF_NAME)'" && $(RM) -r $(OUTPUT_ROOT)) \ |
212 ($(CD) $(SRC_ROOT) && $(ECHO) "Removing configuration directory for '$(CONF_NAME)'" && $(RM) -r $(OUTPUT_ROOT)) \ |