summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2012-05-11 05:36:45 -0400
committerEric S. Raymond <esr@thyrsus.com>2012-05-11 05:36:45 -0400
commitde4f0dd3394dbbd554eba384fa3910b9b4a0bd47 (patch)
tree4c1b33c2d25da10fd83bc635ffab91ea60d51d9b /devtools
parent43066eebf8d01d06d3fe38eccf96be917cdc1fc8 (diff)
downloadgpsd-de4f0dd3394dbbd554eba384fa3910b9b4a0bd47.tar.gz
Sigh, scan submission via curl looks like it works but actually fails.
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/cov-scan16
1 files changed, 10 insertions, 6 deletions
diff --git a/devtools/cov-scan b/devtools/cov-scan
index beb1f0ea..183486c6 100755
--- a/devtools/cov-scan
+++ b/devtools/cov-scan
@@ -19,8 +19,8 @@ email=`git config core.email`
# Things that are fixed
project=gpsd
password=v2tradeC
-prebuild=scons -c
-build=scons
+prebuild="scons -c"
+build="scons"
# Nothing below this line should require configuration
@@ -40,14 +40,18 @@ mv cov-int /tmp;
echo "Uploading to where it's publicly visible..."
scp /tmp/project-scan.tgz $DROP_SCP; rm /tmp/project-scan.tgz
+url=$DROP_HTML/project-scan.tgz
-echo "Posting the analysis request..."
+echo "Post $url to http://scan.coverity.com/submit.html"
+
+: echo "Posting the analysis request..."
# Simulates the form at http://scan.coverity.com/submit.html
-curl \
+# Sadly, this doesn't work yet - probably needs login context
+: curl \
-d project=$project \
-d password=$password \
-d email=$email \
- -d url=$DROP_HTML/project-scan.tgz \
+ -d url= $url \
http://scan5.coverity.com/cgi-bin/submit_build.py
+: echo "Done. You'll get mail."
-echo "Done. You'll get mail."