Index: tools/mb/mb.bat |
diff --git a/tools/mb/mb.bat b/tools/mb/mb.bat |
new file mode 100755 |
index 0000000000000000000000000000000000000000..a82770e714a24ce1d2a3d76064ef9e30ad97b2bb |
--- /dev/null |
+++ b/tools/mb/mb.bat |
@@ -0,0 +1,6 @@ |
+@echo off |
+setlocal |
+:: This is required with cygwin only. |
+PATH=%~dp0;%PATH% |
+set PYTHONDONTWRITEBYTECODE=1 |
+call python "%~dp0mb.py" %* |