Updating CI config (#135)

2018-10-16 18:39:33 -07:00
parent 722cd79497
commit 522c4984e0
18 changed files with 111 additions and 532 deletions
--- a/src/verus.bat
+++ b/src/verus.bat
@@ -0,0 +1,14 @@
+@call :GET_CURRENT_DIR
+@cd %THIS_DIR%
+komodo-cli.exe -ac_name=VRSC %1 %2 %3 %4 %5 %6 %7 %8 %9
+@goto :EOF
+
+:GET_CURRENT_DIR
+@pushd %~dp0
+@set THIS_DIR=%CD%
+@popd
+@goto :EOF
+
+
+
+