diff options
Diffstat (limited to 'win/rmd.bat')
| -rw-r--r-- | win/rmd.bat | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/win/rmd.bat b/win/rmd.bat deleted file mode 100644 index 7b5ce5f..0000000 --- a/win/rmd.bat +++ /dev/null @@ -1,25 +0,0 @@ -@echo off -rem RCS: @(#) $Id: rmd.bat,v 1.5 1999/12/22 00:00:16 hobbs Exp $ - -if not exist %1\. goto end - -echo Removing directory %1 - -if "%OS%" == "Windows_NT" goto winnt - -cd %1 -if errorlevel 1 goto end -del *.* -cd .. -rmdir %1 -if errorlevel 1 goto end -goto success - -:winnt -rmdir %1 /s /q -if errorlevel 1 goto end - -:success -echo deleted directory %1 - -:end |