Skip to content
This repository was archived by the owner on Aug 26, 2022. It is now read-only.

Commit 7ba26a6

Browse files
committed
Slight update to the scripts: don't exit on failure
1 parent a944504 commit 7ba26a6

File tree

2 files changed

+9
-5
lines changed

2 files changed

+9
-5
lines changed

Samples/PSharpRegressionsCloud.bat

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
@echo off
22
if not exist ..\..\PSharpBatchTesting\Binaries\PSharpBatchTester.exe (
33
echo ERROR: Can't find PSharpBatchTester.exe
4-
exit
4+
goto DONE
55
)
66
if not exist .\PSharpBatch.config (
77
echo ERROR: Can't find PSharpBatch.config
8-
exit
8+
goto DONE
99
)
1010
if not exist .\PSharpBatchAuth.config (
1111
echo ERROR: Can't find PSharpBatchAuth.config
12-
exit
12+
goto DONE
1313
)
1414
..\..\PSharpBatchTesting\Binaries\PSharpBatchTester.exe /config:.\PSharpBatch.config /auth:.\PSharpBatchAuth.config
1515

@@ -41,3 +41,5 @@ for /D %%s in (.\*) do (
4141
echo !Bmk_%%s! !Bug_%%s! !Time_%%s! >> .\PSharpSafetyResults_Cloud.txt
4242
cd .\Output
4343
)
44+
45+
:DONE

Samples/PSharpRegressionsLocal.bat

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
@echo off
22
if not exist ..\..\PSharpBatchTesting\Binaries\PSharpBatchTester.exe (
33
echo ERROR: Can't find PSharpBatchTester.exe
4-
exit
4+
goto DONE
55
)
66
if not exist .\PSharpBatch.config (
77
echo ERROR: Can't find .\PSharpBatch.config
8-
exit
8+
goto DONE
99
)
1010
..\..\PSharpBatchTesting\Binaries\PSharpBatchTester.exe /config:.\PSharpBatch.config /local
1111

@@ -39,3 +39,5 @@ for /D %%s in (.\*) do (
3939
)
4040

4141
::for /f "tokens=3" %%i in ("!mystr3_%%s!") do set Name_%%s=%%i
42+
43+
:DONE

0 commit comments

Comments
 (0)