diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2012-05-11 05:36:45 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2012-05-11 05:36:45 -0400 |
commit | de4f0dd3394dbbd554eba384fa3910b9b4a0bd47 (patch) | |
tree | 4c1b33c2d25da10fd83bc635ffab91ea60d51d9b /devtools | |
parent | 43066eebf8d01d06d3fe38eccf96be917cdc1fc8 (diff) | |
download | gpsd-de4f0dd3394dbbd554eba384fa3910b9b4a0bd47.tar.gz |
Sigh, scan submission via curl looks like it works but actually fails.
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/cov-scan | 16 |
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." |