diff -r 06c273a55d76 -r 63761da45392 make/Main.gmk --- 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