remove rmdir build (#26965)

numel
Zhou Wei 5 years ago committed by GitHub
parent 5866cde758
commit 5a48952a54
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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 .

Loading…
Cancel
Save