git.m6w6.name Git - m6w6/ext-http/blob - scripts/coverity.sh

   1 #!/bin/bash
   2
   3 set -e
   4 exec 1> /dev/null
   5
   6 pushd $(dirname $(dirname $0))
   7
   8 COVERITY_BIN=$(PATH="$PATH:/opt/coverity/bin" which cov-build)
   9 COVERITY_PROJECT=$(git ls-remote --get-url origin | sed 's/^.*:\(.*\)\.git$/\1/')
  10 COVERITY_BUILD_DATE=$(date --iso-8601=seconds)
  11 COVERITY_BUILD_BRANCH=$(git rev-parse --abbrev-ref HEAD)
  12 COVERITY_BUILD_DIR=$(mktemp -td coverity.XXXXXX)
  13
  14 COVERITY_SCAN_TOKEN=$(gpg --quiet --decrypt < .coverity.asc)
  15
  16 phpize
  17 ./configure
  18 make clean
  19
  20
  21 $COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int make -j8
  22
  23 pushd $COVERITY_BUILD_DIR
  24 tar -czf cov-int{.tgz,}
  25 popd
  26
  27 curl -sS\
  28         --form "token=$COVERITY_SCAN_TOKEN" \
  29         --form "version=$COVERITY_BUILD_BRANCH" \
  30         --form "email=mike@php.net" \
  31         --form "description=$COVERITY_BUILD_DATE" \
  32         --form "file=@$COVERITY_BUILD_DIR/cov-int.tgz" \
  33         --url "https://scan.coverity.com/builds?project=$COVERITY_PROJECT" >&2
  34
  35 rm -r $COVERITY_BUILD_DIR
  36
  37 popd