X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-http;a=blobdiff_plain;f=scripts%2Fcoverity.sh;h=883fd26599c70fed3be7c31b9cd2c8127a74254e;hp=08a04f1fbacccc32b78a6cae72eb42cef6080893;hb=HEAD;hpb=e096f45ff30a46d6a8e96da7bc6334d2ac5ab7c2

diff --git a/scripts/coverity.sh b/scripts/coverity.sh
index 08a04f1..883fd26 100755
--- a/scripts/coverity.sh
+++ b/scripts/coverity.sh
@@ -17,9 +17,18 @@ phpize
 ./configure
 make clean
 
- 
+
 $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