diff -r f6bc08715234 -r 0bbd2bf737bf make/Main.gmk
--- a/make/Main.gmk	Mon Apr 01 14:28:36 2019 +0200
+++ b/make/Main.gmk	Thu Apr 04 08:01:35 2019 -0700
@@ -238,7 +238,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