From 5a48952a54921259dc67260274baeb88ff7fe581 Mon Sep 17 00:00:00 2001 From: Zhou Wei <52485244+zhouwei25@users.noreply.github.com> Date: Fri, 4 Sep 2020 14:02:45 +0800 Subject: [PATCH] remove rmdir build (#26965) --- paddle/scripts/paddle_build.bat | 1 - 1 file changed, 1 deletion(-) diff --git a/paddle/scripts/paddle_build.bat b/paddle/scripts/paddle_build.bat index ace015d2adb..d642a3fa202 100644 --- a/paddle/scripts/paddle_build.bat +++ b/paddle/scripts/paddle_build.bat @@ -21,7 +21,6 @@ rem ================================================= rem -------clean up environment----------- set work_dir=%cd% -if exist build rmdir build /s/q mkdir build cd /d build tree . -- GitLab