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

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