Skip to content

Commit 5ffc28d

Browse files
committed
Fix .bat script to actually work on Windows.
1 parent 1608059 commit 5ffc28d

File tree

1 file changed

+15
-15
lines changed

1 file changed

+15
-15
lines changed

runBenchmark_wContrast.bat

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
1-
@ECHO OFF
2-
IF EXIST tools\Contrast\contrast.jar (
3-
IF EXIST tools\Contrast\working (
4-
DEL \F \Q tools\Contrast\contrast.log
1+
@ECHO OFF
2+
IF EXIST tools\Contrast\contrast.jar (
3+
IF EXIST tools\Contrast\working (
4+
DEL /F /Q tools\Contrast\contrast.log
55

6-
RMDIR \S tools\Contrast\cache
6+
RMDIR /S /Q tools\Contrast\cache
77

8-
ECHO ""
8+
ECHO ""
99

10-
ECHO Previous Contrast results have been removed
10+
ECHO "Previous Contrast results have been removed"
1111

12-
ECHO ""
13-
)
14-
CALL mvn clean package cargo:run -Pdeploywcontrast
12+
ECHO ""
13+
)
14+
CALL mvn clean package cargo:run -Pdeploywcontrast
1515

16-
ECHO Copying Contrast reports to results directory
16+
ECHO "Copying Contrast reports to results directory"
1717

1818
COPY tools\Contrast\working\contrast.log results\Benchmark_1.2beta-Contrast.log
19-
20-
) ELSE (
21-
ECHO Contrast is a commercial product, so you need a licensed version of Contrast in order to run it on the Benchmark. If you have access to Contrast, download the Contrast Agent for Java (contrast.jar) from the Team Server and put it into the /tools/Contrast folder, and then rerun this script.
22-
)
19+
20+
) ELSE (
21+
ECHO "Contrast is a commercial product, so you need a licensed version of Contrast in order to run it on the Benchmark. If you have access to Contrast, download the Contrast Agent for Java (contrast.jar) from the Team Server and put it into the /tools/Contrast folder, and then rerun this script."
22+
)

0 commit comments

Comments
 (0)