diff options
author | Martin Roth <martin@coreboot.org> | 2020-12-24 12:06:38 -0700 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-25 08:57:40 +0000 |
commit | 0ad5fbd48d0169576d6ed4666b909635b7cde89b (patch) | |
tree | 461417a934399902915ee8f69738cc6010f2c636 /util/lint/lint-stable-000-license-headers | |
parent | 2cee2ff256297b1c3de204c66f918b3991f96a40 (diff) |
util: Update all shebangs to use /usr/bin/env
Instead of hardcoding paths to the executables, use the version in the
path. This allows the scripts to work on more systems, and allows the
binary version to be changed more easily if needed.
Signed-off-by: Martin Roth <martin@coreboot.org>
Change-Id: Ifcc56aa21092cd3866eacb6a02d198110ec6051d
Reviewed-on: https://review.coreboot.org/c/coreboot/+/48904
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util/lint/lint-stable-000-license-headers')
-rwxr-xr-x | util/lint/lint-stable-000-license-headers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-000-license-headers b/util/lint/lint-stable-000-license-headers index 518b232f32..ccecba6ce4 100755 --- a/util/lint/lint-stable-000-license-headers +++ b/util/lint/lint-stable-000-license-headers @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # SPDX-License-Identifier: GPL-2.0-only # # DESCR: Check that files have license headers |