diff options
| -rwxr-xr-x | jenkins/jenkins-gtk2.sh | 8 | ||||
| -rw-r--r-- | jenkins/jenkins-scanbuild.sh | 13 |
2 files changed, 0 insertions, 21 deletions
diff --git a/jenkins/jenkins-gtk2.sh b/jenkins/jenkins-gtk2.sh deleted file mode 100755 index 4428c4d75..000000000 --- a/jenkins/jenkins-gtk2.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh
-
-# This script is called by Jenkins in the scheduled gtk2 job
-
-./autogen.sh
-./configure
-make clean
-make
diff --git a/jenkins/jenkins-scanbuild.sh b/jenkins/jenkins-scanbuild.sh deleted file mode 100644 index 492cefead..000000000 --- a/jenkins/jenkins-scanbuild.sh +++ /dev/null @@ -1,13 +0,0 @@ -./autogen.sh
-./configure
-make clean
-
-# do not exit immediately if any command fails
-set +e
-
-# directory to use for storing the scan-build report, this is where the Publish Clang Scan-Build Results plugin checks
-SCAN_BUILD_OUTPUTDIR="${WORKSPACE}/clangScanBuildReports"
-
-# generate the scan-build report
-scan-build -k -o ${SCAN_BUILD_OUTPUTDIR} make
-
|
