diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2012-05-10 22:42:34 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2012-05-10 22:42:34 -0400 |
commit | a940dde5dfe8882031aeef84634213fd2ad7ca94 (patch) | |
tree | 3fef830d821f4ee63d872db32d1d210dc7c43fbf /devtools | |
parent | 5a47d35b474336e7536200ae8ad7e7c5217b5ae1 (diff) | |
download | gpsd-a940dde5dfe8882031aeef84634213fd2ad7ca94.tar.gz |
Factor out more stuff.
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/cov-scan | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/devtools/cov-scan b/devtools/cov-scan index ed6330ac..beb1f0ea 100755 --- a/devtools/cov-scan +++ b/devtools/cov-scan @@ -19,13 +19,15 @@ email=`git config core.email` # Things that are fixed project=gpsd password=v2tradeC +prebuild=scons -c +build=scons # Nothing below this line should require configuration echo "Rebuilding and scanning..." -scons -c +$prebuild rm -fr cov-int -cov-build --dir cov-int /usr/bin/scons +cov-build --dir cov-int $build echo "Bundling up required metadata..." cat >/tmp/README <<EOF @@ -48,4 +50,4 @@ curl \ -d url=$DROP_HTML/project-scan.tgz \ http://scan5.coverity.com/cgi-bin/submit_build.py -echo "Done." +echo "Done. You'll get mail." |