xsltproc is not used since... a long time ago

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 73fc613..c18dbb5 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -221,10 +221,6 @@ echo "XX   pwd: "$(pwd)
 echo "XX"
 
 ctest -T test --output-on-failure --no-compress-output || true
-if [ -f Testing/TAG ] ; then
-   xsltproc $WORKSPACE/tools/jenkins/ctest2junit.xsl Testing/$( head -n 1 < Testing/TAG )/Test.xml > CTestResults.xml
-   mv CTestResults.xml $WORKSPACE
-fi
 
 if test -n "$INSTALL" && [ ${branch_name} = "origin/master" ] ; then
   echo "XX"