diff options
Diffstat (limited to 'Test/jennisys0/runtest.bat')
| -rw-r--r-- | Test/jennisys0/runtest.bat | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Test/jennisys0/runtest.bat b/Test/jennisys0/runtest.bat deleted file mode 100644 index 6bae956e..00000000 --- a/Test/jennisys0/runtest.bat +++ /dev/null @@ -1,10 +0,0 @@ -@echo off
-setlocal
-
-set JENNISYS_EXE=..\..\Jennisys\Jennisys\bin\Debug\Jennisys.exe
-
-for %%f in (Prog0.jen ExtensibleArray.jen) do (
- echo.
- echo -------------------- %%f --------------------
- %JENNISYS_EXE% %* /trace /noAnalysis %%f
-)
|