From f4fe3510740131d0a0ab08f8f4349387c1804223 Mon Sep 17 00:00:00 2001 From: Myung-Hyun Kim Date: Tue, 11 Aug 2020 18:27:42 +0900 Subject: [PATCH] Update configure.cmd Resolved an error that can not run configure.py if the env %configure_dir% contains spaces. --- configure.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.cmd b/configure.cmd index 021afdbbea138d..738e106da18fb1 100644 --- a/configure.cmd +++ b/configure.cmd @@ -16,5 +16,5 @@ set configure_dir=%~dp0 set configure_dir=%configure_dir:~0,-1% -python %configure_dir%\configure.py %* || ( exit /b ) +python "%configure_dir%\configure.py" %* || ( exit /b ) echo Configuration finished