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