From bc2b4b877fb09203c146cc5db1d5ab362677fb76 Mon Sep 17 00:00:00 2001 From: Alexander Zolotov Date: Wed, 16 Oct 2019 12:54:49 +0300 Subject: [PATCH] Fix update from sources on Windows GitOrigin-RevId: b5893fcbfec14ba86b512257d3f82cde27261314 --- build/update.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/update.cmd b/build/update.cmd index 5f0b81356dcb..ff67b9e238f9 100644 --- a/build/update.cmd +++ b/build/update.cmd @@ -40,7 +40,7 @@ RMDIR /Q /S "%WORK_IDEA_HOME%\plugins" XCOPY "%DEV_IDEA_HOME%\bin\win\*.dll" "%WORK_IDEA_HOME%\bin\" /Q /E /Y XCOPY "%DEV_IDEA_HOME%\bin\win\*.exe" "%WORK_IDEA_HOME%\bin\" /Q /E /Y -XCOPY "%DEV_IDEA_HOME%\out\deploy\*.*" "%WORK_IDEA_HOME%\" /Q /E /Y +XCOPY "%DEV_IDEA_HOME%\out\deploy\dist\*.*" "%WORK_IDEA_HOME%\" /Q /E /Y GOTO done :failed