diff options
| author | Johan B. C. Engelen <jbc.engelen@swissonline.ch> | 2014-10-12 11:23:16 +0000 |
|---|---|---|
| committer | Johan B. C. Engelen <j.b.c.engelen@alumnus.utwente.nl> | 2014-10-12 11:23:16 +0000 |
| commit | ab266fd1410da5e2606b88dcea5263c098d9b052 (patch) | |
| tree | 2daab296dd812e0b79945ce7cadf0ba69901abc9 | |
| parent | revert previous commit. (diff) | |
| download | inkscape-ab266fd1410da5e2606b88dcea5263c098d9b052.tar.gz inkscape-ab266fd1410da5e2606b88dcea5263c098d9b052.zip | |
Add Jenkins build scripts
(bzr r13341.1.273)
| -rw-r--r-- | jenkins/jenkins-gtk2.sh | 8 | ||||
| -rw-r--r-- | jenkins/jenkins-scanbuild.sh | 42 |
2 files changed, 50 insertions, 0 deletions
diff --git a/jenkins/jenkins-gtk2.sh b/jenkins/jenkins-gtk2.sh new file mode 100644 index 000000000..4428c4d75 --- /dev/null +++ b/jenkins/jenkins-gtk2.sh @@ -0,0 +1,8 @@ +#!/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 new file mode 100644 index 000000000..b414e4aeb --- /dev/null +++ b/jenkins/jenkins-scanbuild.sh @@ -0,0 +1,42 @@ +./autogen.sh
+./configure
+make clean
+
+# do not exit immediately if any command fails
+set +e
+
+# temp directory to store the scan-build report
+SCAN_BUILD_TMPDIR=$( mktemp -d /tmp/scan-build.XXXXXX )
+
+# directory to use for archiving the scan-build report
+SCAN_BUILD_ARCHIVE="${WORKSPACE}/scan-build-archive"
+
+# generate the scan-build report
+scan-build -k -o ${SCAN_BUILD_TMPDIR} make
+
+# get the directory name of the report created by scan-build
+SCAN_BUILD_REPORT=$( find ${SCAN_BUILD_TMPDIR} -maxdepth 1 -not -empty -not -name `basename ${SCAN_BUILD_TMPDIR}` )
+rc=$?
+
+if [ -z "${SCAN_BUILD_REPORT}" ]; then
+ echo ">>> No new bugs identified."
+ echo ">>> No scan-build report has been generated"
+else
+ echo ">>> New scan-build report generated in ${SCAN_BUILD_REPORT}"
+
+ if [ ! -d "${SCAN_BUILD_ARCHIVE}" ]; then
+ echo ">>> Creating scan-build archive directory"
+ install -d -o jenkins -g jenkins -m 0755 "${SCAN_BUILD_ARCHIVE}"
+ else
+ echo ">>> Removing any previous scan-build reports from ${SCAN_BUILD_ARCHIVE}"
+ rm -f "${SCAN_BUILD_ARCHIVE}/*"
+ fi
+
+ echo ">>> Archiving scan-build report to ${SCAN_BUILD_ARCHIVE}"
+ mv ${SCAN_BUILD_REPORT}/* "${SCAN_BUILD_ARCHIVE}/"
+
+ echo ">>> Removing any temporary files and directories"
+ rm -rf "${SCAN_BUILD_TMPDIR}"
+fi
+
+exit ${rc}
|
