projects
/
m6w6
/
ext-http
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
|
github
raw
|
inline
| side by side
coverity fixups
[m6w6/ext-http]
/
scripts
/
coverity.sh
diff --git
a/scripts/coverity.sh
b/scripts/coverity.sh
index 08a04f1fbacccc32b78a6cae72eb42cef6080893..883fd26599c70fed3be7c31b9cd2c8127a74254e 100755
(executable)
--- a/
scripts/coverity.sh
+++ b/
scripts/coverity.sh
@@
-17,9
+17,18
@@
phpize
./configure
make clean
./configure
make clean
-
+
$COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int make -j8
$COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int make -j8
+echo >&2
+echo -n "Submit results to scan.coverity.com? (y/N) " >&2
+read submit
+echo >&2
+
+if test "$submit" != "y"; then
+ exit
+fi
+
pushd $COVERITY_BUILD_DIR
tar -czf cov-int{.tgz,}
popd
pushd $COVERITY_BUILD_DIR
tar -czf cov-int{.tgz,}
popd