summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xjenkins/jenkins-gtk2.sh8
-rw-r--r--jenkins/jenkins-scanbuild.sh13
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
-