From 567d7cc8aba18d8d3ee405c8828bf26520609f1e Mon Sep 17 00:00:00 2001 From: gered Date: Sun, 6 Jan 2013 13:22:28 -0500 Subject: [PATCH] add Windows batch file for convenience --- mkb_generate.bat | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 mkb_generate.bat diff --git a/mkb_generate.bat b/mkb_generate.bat new file mode 100755 index 0000000..242c76b --- /dev/null +++ b/mkb_generate.bat @@ -0,0 +1,8 @@ +@echo off +for %%X in (bash.exe) do (set FOUND=%%~$PATH:X) +if not defined FOUND ( +echo BASH not found in your path. Do you have Cygwin or MSYS installed? +exit /b +) + +bash --login %CD%/mkb_generate