From 0698cf9710ff39800fa948d394a89fc042bcdbd9 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sun, 1 Mar 2020 12:50:06 -0500 Subject: [PATCH] CI: remove check_doxygen as we do this in Travis see #9582 --- Jenkinsfile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index a80e466537..be3cc00470 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -123,10 +123,6 @@ pipeline timeout(time: 6, unit: 'HOURS') { sh "echo \"building on node ${env.NODE_NAME}\"" - sh '''#!/bin/bash - cd $WORKSPACE/ - ./contrib/utilities/check_doxygen.sh - ''' sh '''#!/bin/bash set -e export NP=`grep -c ^processor /proc/cpuinfo` -- 2.39.5