From 96cad8291000f4a866d26a62cc08d342ed9c65fb Mon Sep 17 00:00:00 2001 From: Koen Zandberg Date: Fri, 30 Oct 2020 12:12:10 +0100 Subject: [PATCH] dist/tools: Use bash instead of sh where needed A number of scripts use features from bash such as `local` which are not in the POSIX spec. This breaks on systems where sh is not symlinked to bash. This patch changes the interpreter indicated by the hashbang to bash for those scripts --- dist/tools/ci/print_toolchain_versions.sh | 2 +- dist/tools/coccinelle/check.sh | 2 +- dist/tools/dlcache/dlcache.sh | 2 +- dist/tools/git/git-cache | 2 +- dist/tools/licenses/check.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/dist/tools/ci/print_toolchain_versions.sh b/dist/tools/ci/print_toolchain_versions.sh index 49abec1f07..c3e6444387 100755 --- a/dist/tools/ci/print_toolchain_versions.sh +++ b/dist/tools/ci/print_toolchain_versions.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash MAKE=${MAKE:-make} diff --git a/dist/tools/coccinelle/check.sh b/dist/tools/coccinelle/check.sh index 73b7bd533c..8aa2310c24 100755 --- a/dist/tools/coccinelle/check.sh +++ b/dist/tools/coccinelle/check.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright 2017 Kaspar Schleiser # diff --git a/dist/tools/dlcache/dlcache.sh b/dist/tools/dlcache/dlcache.sh index 08cf7d6de4..dfcdd5e04d 100755 --- a/dist/tools/dlcache/dlcache.sh +++ b/dist/tools/dlcache/dlcache.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash DLCACHE_DIR=${DLCACHE_DIR:-~/.dlcache} diff --git a/dist/tools/git/git-cache b/dist/tools/git/git-cache index 24e4de4ffd..7534396937 100755 --- a/dist/tools/git/git-cache +++ b/dist/tools/git/git-cache @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/bash -e [ "$GIT_CACHE_VERBOSE" != "1" ] && Q=-q diff --git a/dist/tools/licenses/check.sh b/dist/tools/licenses/check.sh index 92bab9798a..203a99e748 100755 --- a/dist/tools/licenses/check.sh +++ b/dist/tools/licenses/check.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright 2017 Kaspar Schleiser # Copyright 2014 Ludwig Knüpfer