diff options
author | Robin Watts <robin.watts@artifex.com> | 2012-03-07 17:41:32 +0000 |
---|---|---|
committer | Chris Liddell <chris.liddell@artifex.com> | 2012-03-15 11:54:24 +0000 |
commit | 9473fda701e58d721f77dcdfb96610c24b9ec66d (patch) | |
tree | 861ee8bada2b747d5e493ae5abb5de27320d116c | |
parent | 21bfa635fb1e9fc0adce4b0455e367e56c0e33c2 (diff) |
Tweak rm.bat (and hence fix 'clean' builds on windows)
Cope with -r command. Add /Q flag to erase call (so it doesn't prompt
before deleting).
-rwxr-xr-x | gs/base/rm.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gs/base/rm.bat b/gs/base/rm.bat index 1b1ecbb96..033fac566 100755 --- a/gs/base/rm.bat +++ b/gs/base/rm.bat @@ -3,7 +3,8 @@ :next if '%1'=='' goto exit if '%1'=='-f' goto sh -if exist %1 erase %1 +if '%1'=='-r' goto sh +if exist %1 erase /Q %1 :sh shift goto next |