diff options
Diffstat (limited to 'tools/git/move_source_file.bat')
| -rw-r--r-- | tools/git/move_source_file.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/git/move_source_file.bat b/tools/git/move_source_file.bat new file mode 100644 index 0000000..bc3d797 --- /dev/null +++ b/tools/git/move_source_file.bat @@ -0,0 +1,6 @@ +@echo off
+setlocal
+:: This is required with cygwin only.
+PATH=%~dp0;%PATH%
+set PYTHONDONTWRITEBYTECODE=1
+call python "%~dp0move_source_file.py" %*
|