diff options
author | fvogel <fvogelnew1@free.fr> | 2017-03-06 18:24:38 (GMT) |
---|---|---|
committer | fvogel <fvogelnew1@free.fr> | 2017-03-06 18:24:38 (GMT) |
commit | e98430e7e070536bd9d5ccb44afa4976b735ff65 (patch) | |
tree | 15779675471fdc625c17330f72e4c676f065d928 /win/rmd.bat | |
parent | ee16a52044d53a25664ecc7f02b042e3fb638baf (diff) | |
parent | 05fb5c3c424e8c68a0cf14a68d2f32570b2d5d69 (diff) | |
download | tk-e98430e7e070536bd9d5ccb44afa4976b735ff65.zip tk-e98430e7e070536bd9d5ccb44afa4976b735ff65.tar.gz tk-e98430e7e070536bd9d5ccb44afa4976b735ff65.tar.bz2 |
merge trunk
Diffstat (limited to 'win/rmd.bat')
-rw-r--r-- | win/rmd.bat | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/win/rmd.bat b/win/rmd.bat deleted file mode 100644 index 820b76f..0000000 --- a/win/rmd.bat +++ /dev/null @@ -1,20 +0,0 @@ -@echo off
-
-if not exist %1\nul goto end
-
-echo Removing directory %1
-
-if "%OS%" == "Windows_NT" goto winnt
-
-deltree /y %1
-if errorlevel 1 goto end
-goto success
-
-:winnt
-rmdir /s /q %1
-if errorlevel 1 goto end
-
-:success
-echo Deleted directory %1
-
-:end
|