release v3.2.2

[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
 
- 
+
 $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