make/Main.gmk
changeset 28809 6481e27e00ee
parent 28606 e4a5774f2ddd
child 28811 65cf1b4087cf
equal deleted inserted replaced
28806:1550b2f6b63d 28809:6481e27e00ee
   551         ifneq ($(CONFIGURE_COMMAND_LINE), )
   551         ifneq ($(CONFIGURE_COMMAND_LINE), )
   552 	  @$(ECHO) "Re-running configure using arguments '$(CONFIGURE_COMMAND_LINE)'"
   552 	  @$(ECHO) "Re-running configure using arguments '$(CONFIGURE_COMMAND_LINE)'"
   553         else
   553         else
   554 	  @$(ECHO) "Re-running configure using default settings"
   554 	  @$(ECHO) "Re-running configure using default settings"
   555         endif
   555         endif
   556 	@( cd $(OUTPUT_ROOT) && $(BASH) $(TOPDIR)/configure $(CONFIGURE_COMMAND_LINE) )
   556 	@( cd $(OUTPUT_ROOT) && PATH="$(ORIGINAL_PATH)" \
       
   557 	    $(BASH) $(TOPDIR)/configure $(CONFIGURE_COMMAND_LINE) )
   557 
   558 
   558 ALL_TARGETS += reconfigure
   559 ALL_TARGETS += reconfigure
   559 
   560 
   560 ################################################################################
   561 ################################################################################
   561 # Declare *-only targets for each normal target
   562 # Declare *-only targets for each normal target