equal
deleted
inserted
replaced
1105 |
1105 |
1106 # Remove everything, including configure configuration. If the output |
1106 # Remove everything, including configure configuration. If the output |
1107 # directory was created by configure and now becomes empty, remove it as well. |
1107 # directory was created by configure and now becomes empty, remove it as well. |
1108 dist-clean: clean |
1108 dist-clean: clean |
1109 ($(CD) $(OUTPUTDIR) && \ |
1109 ($(CD) $(OUTPUTDIR) && \ |
1110 $(RM) -r *spec.gmk $(CONFIGURESUPPORT_OUTPUTDIR) Makefile compare.sh ide) |
1110 $(RM) -r *spec.gmk $(CONFIGURESUPPORT_OUTPUTDIR) Makefile compare.sh ide \ |
|
1111 configure.log* build.log*) |
1111 $(if $(filter $(CONF_NAME),$(notdir $(OUTPUTDIR))), \ |
1112 $(if $(filter $(CONF_NAME),$(notdir $(OUTPUTDIR))), \ |
1112 if test "x`$(LS) $(OUTPUTDIR)`" != x; then \ |
1113 if test "x`$(LS) $(OUTPUTDIR)`" != x; then \ |
1113 $(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ; \ |
1114 $(ECHO) "Warning: Not removing non-empty configuration directory for '$(CONF_NAME)'" ; \ |
1114 else \ |
1115 else \ |
1115 ($(CD) $(TOPDIR) && $(ECHO) "Removing configuration directory for '$(CONF_NAME)'" \ |
1116 ($(CD) $(TOPDIR) && $(ECHO) "Removing configuration directory for '$(CONF_NAME)'" \ |