common/makefiles/Main.gmk

changeset 767
f10f673d9b17
parent 748
c156084add48
child 779
163091288aeb
child 785
0f6dde6231bd
equal deleted inserted replaced
766:4fb877dfe5c4 767:f10f673d9b17
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)) \

mercurial