diff options
Diffstat (limited to 'win/rmd.bat')
| -rw-r--r-- | win/rmd.bat | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/win/rmd.bat b/win/rmd.bat deleted file mode 100644 index c4d154f..0000000 --- a/win/rmd.bat +++ /dev/null @@ -1,21 +0,0 @@ -@echo off -rem RCS: @(#) $Id: rmd.bat,v 1.8 2001/11/10 10:38:47 davygrvy Exp $ - -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 |