make/Main.gmk
changeset 22721 63761da45392
parent 22716 cf32fe2eb254
child 25854 98ce0879ab4c
--- a/make/Main.gmk	Thu Feb 20 19:59:06 2014 -0800
+++ b/make/Main.gmk	Mon Feb 24 12:16:58 2014 +0100
@@ -243,7 +243,7 @@
         else
 	  @$(ECHO) "Re-running configure using default settings"
         endif
-	@( cd $(OUTPUT_ROOT) && $(BASH) $(TOPDIR)/configure "$(CONFIGURE_COMMAND_LINE)" )
+	@( cd $(OUTPUT_ROOT) && $(BASH) $(TOPDIR)/configure $(CONFIGURE_COMMAND_LINE) )
 
 .PHONY: langtools corba jaxp jaxws hotspot jdk nashorn images overlay-images install test docs
 .PHONY: langtools-only corba-only jaxp-only jaxws-only hotspot-only jdk-only nashorn-only images-only overlay-images-only install-only test-only docs-only