Remove unused/unmaintained jenkins_run script

This commit is contained in:
Nyall Dawson 2025-01-31 09:37:42 +10:00
parent 3e50833349
commit 096d6d0b58

View File

@ -1,17 +0,0 @@
#!/usr/bin/env bash
if [ -d build ]
then
rm -rf build
fi
mkdir build
cd build || exit
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