diff options
Diffstat (limited to 'config/install.bat')
| -rw-r--r-- | config/install.bat | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/config/install.bat b/config/install.bat new file mode 100644 index 0000000000..f429b6765f --- /dev/null +++ b/config/install.bat @@ -0,0 +1,10 @@ +@echo off +rem This Source Code Form is subject to the terms of the Mozilla Public +rem License, v. 2.0. If a copy of the MPL was not distributed with this +rem file, You can obtain one at http://mozilla.org/MPL/2.0/. + +@echo on + +@if not exist %2\nul mkdir %2 +@rm -f %2\%1 +@cp %1 %2 |