diff options
author | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-12-26 07:15:26 +0200 |
---|---|---|
committer | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-12-26 07:15:26 +0200 |
commit | 776f82c2af49d35ccabe9d728a91d2679642043c (patch) | |
tree | cd758eab49084076aa5cec27da3cd43bbab853ff /coverity-scan.sh | |
parent | 4ff05c29dcdcd1cf9a4ad145a90290f0589b6422 (diff) |
more fixes
Diffstat (limited to 'coverity-scan.sh')
-rwxr-xr-x | coverity-scan.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 770a368437..70a4ed33f3 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -1,4 +1,5 @@ -#/bin/bash +#!/usr/bin/env bash +#!/usr/bin/env bash cpus=$(grep ^processor </proc/cpuinfo| wc -l) [ -z "${cpus}" ] && cpus=1 |