diff options
Diffstat (limited to '')
| -rwxr-xr-x | coverity-scan.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 770a3684..5ca09314 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -1,4 +1,4 @@ -#/bin/bash +#!/usr/bin/env bash cpus=$(grep ^processor </proc/cpuinfo| wc -l) [ -z "${cpus}" ] && cpus=1 |