diff options
Diffstat (limited to 'Chalice/tests/test-scripts/generate_reference.bat')
| -rw-r--r-- | Chalice/tests/test-scripts/generate_reference.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Chalice/tests/test-scripts/generate_reference.bat b/Chalice/tests/test-scripts/generate_reference.bat new file mode 100644 index 00000000..0c480e5c --- /dev/null +++ b/Chalice/tests/test-scripts/generate_reference.bat @@ -0,0 +1,7 @@ +@echo off
+set getboogieoutput="%~dp0\getboogieoutput.bat"
+
+echo Generating reference for %1.chalice ...
+call %getboogieoutput% %1 %2 %3 %4 %5 %6 %7
+
+exit /b 0
|