diff --git a/scripts/jenkins/gcc.groovy b/scripts/jenkins/gcc.groovy index acac3702c0501cf8bfdd170fe21e71480e59c6b4..3166e1020927407d95ce0aa94aa74a82e0aced8b 100644 --- a/scripts/jenkins/gcc.groovy +++ b/scripts/jenkins/gcc.groovy @@ -24,6 +24,12 @@ if (helper.isOriginMaster(this)) def image = docker.image('ogs6/gcc-gui:latest') image.pull() image.inside(defaultDockerArgs) { + stage('git diff check') { + sh """cd ogs + git config core.whitespace -blank-at-eof + git diff --check `git merge-base origin/master HEAD` + """.stripIndent() + } sh 'cd ogs && git lfs pull' stage('Install prerequisites Web') { sh(""" @@ -42,6 +48,10 @@ image.inside(defaultDockerArgs) { build.linux(script: this) } + stage('xml lint') { + sh 'cd ogs && find -name \'*.prj\' -exec xmllint --noout {} \\;' + } + stage('Test (Linux-Docker)') { build.linux(script: this, target: 'tests ctest') }