diff options
| author | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2018-09-10 02:02:16 +0300 |
|---|---|---|
| committer | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2018-09-10 02:02:16 +0300 |
| commit | 552b7da33b995a60865d9366fce1e0f745d414fa (patch) | |
| tree | 6e4400008bf798e632130b9830cc73368debcf6c /coverity-scan.sh | |
| parent | 88489ca23320f0cc83f6319fa62500f79ed9edf3 (diff) | |
allow coverity-scan.sh to obtain the token from environment variable
Diffstat (limited to 'coverity-scan.sh')
| -rwxr-xr-x | coverity-scan.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 5ca0931407..107690bc06 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -3,13 +3,13 @@ cpus=$(grep ^processor </proc/cpuinfo| wc -l) [ -z "${cpus}" ] && cpus=1 -token= -[ -f .coverity-token ] && token="$(<.coverity-token)" +token="${COVERITY_SCAN_TOKEN}" +[ -z "${token}" -a -f .coverity-token ] && token="$(<.coverity-token)" [ -z "${token}" ] && \ - echo >&2 "Save the coverity token to .coverity-token" && \ + echo >&2 "Save the coverity token to .coverity-token or export it as COVERITY_SCAN_TOKEN." && \ exit 1 -echo >&2 "Coverity token: ${token}" +# echo >&2 "Coverity token: ${token}" covbuild="$(which cov-build 2>/dev/null || command -v cov-build 2>/dev/null)" [ -z "${covbuild}" -a -f .coverity-build ] && covbuild="$(<.coverity-build)" |