diff options
author | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-12-26 17:54:59 +0200 |
---|---|---|
committer | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-12-26 17:54:59 +0200 |
commit | f3ba116352adb1907c7a88443cf6bf3b916d5013 (patch) | |
tree | 22ea2389fd2dbcb1545618e6c86c5155b7fe6f67 /coverity-scan.sh | |
parent | e1d7bb0408d73fafcd073ef0f43e51c524a50637 (diff) |
removed duplicate shebang
Diffstat (limited to 'coverity-scan.sh')
-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 |