summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2012-05-10 22:16:59 -0400
committerEric S. Raymond <esr@thyrsus.com>2012-05-10 22:16:59 -0400
commit5a47d35b474336e7536200ae8ad7e7c5217b5ae1 (patch)
treeabe52f7b513178564a52948fb870bdbf716ed1ad /devtools
parent2075ae5bde40b35691f52c750b14e19fe298f1f4 (diff)
downloadgpsd-5a47d35b474336e7536200ae8ad7e7c5217b5ae1.tar.gz
An attempt at scan submission through the Coverity website.
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/cov-scan26
1 files changed, 18 insertions, 8 deletions
diff --git a/devtools/cov-scan b/devtools/cov-scan
index 1572be7f..ed6330ac 100755
--- a/devtools/cov-scan
+++ b/devtools/cov-scan
@@ -15,6 +15,12 @@ DROP_HTML=http://catb.org/~esr
# Things we can deduce
name=`git config core.name`
email=`git config core.email`
+#
+# Things that are fixed
+project=gpsd
+password=v2tradeC
+
+# Nothing below this line should require configuration
echo "Rebuilding and scanning..."
scons -c
@@ -25,17 +31,21 @@ echo "Bundling up required metadata..."
cat >/tmp/README <<EOF
Name: $name
Email: $email
-Project: gpsd
+Project: $project
EOF
mv cov-int /tmp;
-(cd /tmp; tar -czf gpsd-scan.tgz README cov-int; rm -fr cov-int)
+(cd /tmp; tar -czf project-scan.tgz README cov-int; rm -fr cov-int)
echo "Uploading to where it's publicly visible..."
-scp /tmp/gpsd-scan.tgz $DROP_SCP; rm /tmp/gpsd-scan.tgz
+scp /tmp/project-scan.tgz $DROP_SCP; rm /tmp/project-scan.tgz
-# Post the URL
-url=$DROP_HTML/gpsd-scan.tgz
-echo $url
+echo "Posting the analysis request..."
+# Simulates the form at http://scan.coverity.com/submit.html
+curl \
+ -d project=$project \
+ -d password=$password \
+ -d email=$email \
+ -d url=$DROP_HTML/project-scan.tgz \
+ http://scan5.coverity.com/cgi-bin/submit_build.py
-# Submit to http://scan.coverity.com/submit.html
-# The project's build password is v2tradeC
+echo "Done."