io.streams.ansi: faster by caching styles

[factor.git] / build.cmd

diff --git a/build.cmd b/build.cmd
index 1bb9e463acb0541d5127506e3858ef1abda77819..49d56dc1c62522d14f0bafa68d70a1407eb0f91f 100644 (file)
--- a/build.cmd
+++ b/build.cmd
@@ -80,11 +80,11 @@ if "%_compile_vm%"=="1" (
     if errorlevel 1 goto fail
 )
 
+set _bootimage_url=https://downloads.factorcode.org/images/%GIT_BRANCH%/%_bootimage%
 if "%_bootimage_type%"=="download" (
     echo Fetching %GIT_BRANCH% boot image...
-    set boot_image_url=http://downloads.factorcode.org/images/%GIT_BRANCH%/%_bootimage% %_bootimage%
-    echo URL: %boot_image_url%
-    cscript /nologo misc\http-get.vbs %boot_image_url% %_bootimage%
+    echo URL: %_bootimage_url%
+    cscript /nologo misc\http-get.vbs %_bootimage_url% %_bootimage%
     if errorlevel 1 goto fail
 ) else if "%_bootimage_type%"=="make" (
     echo Making boot image...