diff --git a/scripts/jenkins-run.sh b/scripts/jenkins-run.sh new file mode 100755 index 00000000000..e29409fe9ec --- /dev/null +++ b/scripts/jenkins-run.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +if [ -d build ] +then + rm -rf build +fi + +mkdir build +cd build +cmake .. +#xvfb-run --auto-servernum --server-num=1 --server-args="-screen 0 1024x768x24" make Experimental || true +make Experimental || true +#TRES=0 +#ctest -T test --no-compress-output || true +if [ -f Testing/TAG ] ; then + xsltproc ../tests/ctest2junix.xsl Testing/`head -n 1 < Testing/TAG`/Test.xml > CTestResults.xml +fi