6 pushd $
(dirname $
(dirname $0))
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
)
14 COVERITY_SCAN_TOKEN
=$
(gpg
--quiet --decrypt < .coverity.asc
)
21 $COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int
make -j8
23 pushd $COVERITY_BUILD_DIR
24 tar -czf cov-int
{.tgz
,}
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
35 rm -r $COVERITY_BUILD_DIR