]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: remove check_doxygen as we do this in Travis 9583/head
authorTimo Heister <timo.heister@gmail.com>
Sun, 1 Mar 2020 17:50:06 +0000 (12:50 -0500)
committerTimo Heister <timo.heister@gmail.com>
Sun, 1 Mar 2020 17:50:06 +0000 (12:50 -0500)
see #9582

Jenkinsfile

index a80e46653724dab9f5a555ef09439ce90f053a67..be3cc00470ae3e3f1607e2d3d00f2c07ca512a1f 100644 (file)
@@ -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`

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.