From 00879fa9437d8e4fd58ee371f21fa4785f8dee0a Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 25 Aug 2021 17:13:39 +1000 Subject: [PATCH] tools: use /usr/bin/env for bash/sh invocation This implements GitHub PR #115 on the current repo state. /usr/bin/env is already used for other (cmake/python/etc) invocations, and this PR brings bash/sh into line with that for slightly improved portability. Co-authored-by: Douglas Wilson Signed-off-by: Gerwin Klein --- tools/cpp_gen.sh | 2 +- tools/dts/update-dts.sh | 2 +- tools/kernel_pylint.sh | 2 +- tools/kernel_xmllint.sh | 2 +- tools/xmllint.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tools/cpp_gen.sh b/tools/cpp_gen.sh index 0960f2bb0..56088c285 100755 --- a/tools/cpp_gen.sh +++ b/tools/cpp_gen.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) # diff --git a/tools/dts/update-dts.sh b/tools/dts/update-dts.sh index f4534e936..747bc15db 100755 --- a/tools/dts/update-dts.sh +++ b/tools/dts/update-dts.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) # diff --git a/tools/kernel_pylint.sh b/tools/kernel_pylint.sh index bb856bbe3..7b683b973 100755 --- a/tools/kernel_pylint.sh +++ b/tools/kernel_pylint.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) # diff --git a/tools/kernel_xmllint.sh b/tools/kernel_xmllint.sh index 373d62a64..fb09925e5 100755 --- a/tools/kernel_xmllint.sh +++ b/tools/kernel_xmllint.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) # diff --git a/tools/xmllint.sh b/tools/xmllint.sh index ddd487e0d..9bd490f27 100755 --- a/tools/xmllint.sh +++ b/tools/xmllint.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) #