diff options
| author | Jarkko Sakkinen <jarkko@kernel.org> | 2023-01-26 21:56:12 +0000 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@inria.fr> | 2023-02-25 20:11:06 +0100 |
| commit | 2b2d50bdd258f8ef37c25f7d5f0d7ba694066dec (patch) | |
| tree | b64bfab7162beecd4e7bc1c3a53b11a0c0892666 /scripts | |
| parent | 180da5ef84fba0a8ea06870a38d6d657d689944a (diff) | |
scripts: coccicheck: Use /usr/bin/env
If bash is not located under /bin, coccicheck fails to run. In the real
world, this happens for instance when NixOS is used in the host. Instead,
use /usr/bin/env to locate the executable binary for bash.
Signed-off-by: Jarkko Sakkinen <jarkko@kernel.org>
Tested-by: Deepak R Varma <drv@mailo.com>
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index fb492f032c5f..e52cb43fede6 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # SPDX-License-Identifier: GPL-2.0 # Linux kernel coccicheck # |