diff options
| author |  Josef Pospíšil <pe@pan.earth> | 2024-03-20 10:18:42 +0100 |
|---|---|---|
| committer | Josef Pospíšil <pe@pan.earth> | 2024-03-20 10:18:42 +0100 |
| commit | e9dbaa81d2a3ece214f3801a58923b5e46a0d089 (patch) | |
| tree | 34d673f46a1611c3c6eb7b5ac27ab2a62833a046 /build_win.bat | |
| parent | Merge pull request #1410 from sogaiu/ev-deadline-and-friends-doc-tweaks (diff) | |
Add exists test on clean
Diffstat (limited to 'build_win.bat')
| -rw-r--r-- | build_win.bat | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build_win.bat b/build_win.bat index 030e2a39..25f8c011 100644 --- a/build_win.bat +++ b/build_win.bat @@ -91,7 +91,9 @@ exit /b 0 :CLEAN del *.exe *.lib *.exp rd /s /q build -rd /s /q dist +if exist dist ( + rd /s /q dist +) exit /b 0 @rem Run tests |