summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2012-05-11 06:26:20 -0400
committerEric S. Raymond <esr@thyrsus.com>2012-05-11 06:26:20 -0400
commit58b21054158f291ce93167a218c397d4b05512e1 (patch)
treee5c5d9aa30b4233f7d585eec886a97a414eb5de4 /devtools
parent053682df6ae70a277a119f34323d1bba83f3eba7 (diff)
downloadgpsd-58b21054158f291ce93167a218c397d4b05512e1.tar.gz
Oops, pull the right things out of git.
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/cov-scan6
1 files changed, 3 insertions, 3 deletions
diff --git a/devtools/cov-scan b/devtools/cov-scan
index 183486c6..587a9211 100755
--- a/devtools/cov-scan
+++ b/devtools/cov-scan
@@ -13,8 +13,8 @@ DROP_SCP=esr@login.ibiblio.org:/public/html/catb/esr
DROP_HTML=http://catb.org/~esr
#
# Things we can deduce
-name=`git config core.name`
-email=`git config core.email`
+name=`git config user.name`
+email=`git config user.email`
#
# Things that are fixed
project=gpsd
@@ -51,7 +51,7 @@ echo "Post $url to http://scan.coverity.com/submit.html"
-d project=$project \
-d password=$password \
-d email=$email \
- -d url= $url \
+ -d url=$url \
http://scan5.coverity.com/cgi-bin/submit_build.py
: echo "Done. You'll get mail."