diff options
Diffstat (limited to 'common/cp.bat')
-rwxr-xr-x | common/cp.bat | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/common/cp.bat b/common/cp.bat new file mode 100755 index 000000000..f40abfdff --- /dev/null +++ b/common/cp.bat @@ -0,0 +1,11 @@ +@rem $Id$ +@echo off +if "%2"=="." goto ne + if exist _.tmp erase _.tmp + rem >_.tmp + copy /B %1+_.tmp %2 + erase _.tmp +goto x +:ne + copy /B %1 %2 +:x |