diff --git a/jenkins/runRTAtest.fish b/jenkins/runRTAtest.fish index 49599558..6531113d 100755 --- a/jenkins/runRTAtest.fish +++ b/jenkins/runRTAtest.fish @@ -5,6 +5,7 @@ cleanPrepareLockUpdateClear2 TT_init set -xg RTA_EDITION "C,Cr2" +and maintainerOn and eval $EDITION and eval $TEST_SUITE and setAllLogsToWorkspace @@ -15,6 +16,11 @@ if test "$ASAN" = "true" sanOn and buildSanFlags "$WORKDIR/work/ArangoDB" end +if test "$COVERAGE" = "true" + echo "Coverage build" + coverageOn + and buildSanFlags "$WORKDIR/work/ArangoDB" +end if test "$BUILD_MODE" = "debug" echo "switching to debug build" debugMode @@ -46,6 +52,10 @@ for f in $matches echo $f | grep -qv testreport ; and echo "mv $f $WORKSPACE" ; and mv $f $WORKSPACE; or echo "skipping $f" end +if test "$COVERAGE" = "true" + collectCoverage +end + unlockDirectory exit $s