X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-http;a=blobdiff_plain;f=scripts%2Fcoverity.sh;fp=scripts%2Fcoverity.sh;h=08a04f1fbacccc32b78a6cae72eb42cef6080893;hp=0000000000000000000000000000000000000000;hb=1329a9ca3e6aeefdfd8e4bfdb17dc98aebf69787;hpb=b41323e1817c50d062b27da798c7db35fa58212c

diff --git a/scripts/coverity.sh b/scripts/coverity.sh
new file mode 100755
index 0000000..08a04f1
--- /dev/null
+++ b/scripts/coverity.sh
@@ -0,0 +1,37 @@
+#!/bin/bash
+
+set -e
+exec 1> /dev/null
+
+pushd $(dirname $(dirname $0))
+
+COVERITY_BIN=$(PATH="$PATH:/opt/coverity/bin" which cov-build)
+COVERITY_PROJECT=$(git ls-remote --get-url origin | sed 's/^.*:\(.*\)\.git$/\1/')
+COVERITY_BUILD_DATE=$(date --iso-8601=seconds)
+COVERITY_BUILD_BRANCH=$(git rev-parse --abbrev-ref HEAD)
+COVERITY_BUILD_DIR=$(mktemp -td coverity.XXXXXX)
+
+COVERITY_SCAN_TOKEN=$(gpg --quiet --decrypt < .coverity.asc)
+
+phpize
+./configure
+make clean
+
+ 
+$COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int make -j8
+
+pushd $COVERITY_BUILD_DIR
+tar -czf cov-int{.tgz,}
+popd
+
+curl -sS\
+	--form "token=$COVERITY_SCAN_TOKEN" \
+	--form "version=$COVERITY_BUILD_BRANCH" \
+	--form "email=mike@php.net" \
+	--form "description=$COVERITY_BUILD_DATE" \
+	--form "file=@$COVERITY_BUILD_DIR/cov-int.tgz" \
+	--url "https://scan.coverity.com/builds?project=$COVERITY_PROJECT" >&2
+
+rm -r $COVERITY_BUILD_DIR
+
+popd