From 277fbd8386b382f95c74367fd9b6680503955938 Mon Sep 17 00:00:00 2001 From: Sebastian Meiling Date: Mon, 16 Sep 2019 11:24:26 +0200 Subject: [PATCH 1/3] tools: fix shebang in has_minimal_version.sh Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD. --- dist/tools/has_minimal_version/has_minimal_version.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/tools/has_minimal_version/has_minimal_version.sh b/dist/tools/has_minimal_version/has_minimal_version.sh index f6afdf3ae9..db16f9e481 100755 --- a/dist/tools/has_minimal_version/has_minimal_version.sh +++ b/dist/tools/has_minimal_version/has_minimal_version.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash # # usage: has_minimal_version.sh [toolname] # Checks that version >= minimal_version From 364c831bf3bcefed70f4e8e2e7d4b23ec8d1d918 Mon Sep 17 00:00:00 2001 From: Sebastian Meiling Date: Mon, 16 Sep 2019 11:24:58 +0200 Subject: [PATCH 2/3] tools: fix shebang in openocd.sh Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD. --- dist/tools/openocd/openocd.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh index e6776bbee1..d9e8b0b7ad 100755 --- a/dist/tools/openocd/openocd.sh +++ b/dist/tools/openocd/openocd.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Unified OpenOCD script for RIOT # From 9e870460fdc4a231c858ba373809e0c9f76e8b12 Mon Sep 17 00:00:00 2001 From: Sebastian Meiling Date: Mon, 16 Sep 2019 11:25:27 +0200 Subject: [PATCH 3/3] tools: fix shebang in packer/setup.sh Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD. --- dist/tools/packer/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 dist/tools/packer/setup.sh diff --git a/dist/tools/packer/setup.sh b/dist/tools/packer/setup.sh old mode 100644 new mode 100755 index 018b1e8b9f..c9cc2f005f --- a/dist/tools/packer/setup.sh +++ b/dist/tools/packer/setup.sh @@ -1,4 +1,4 @@ -#!/bin/bash -eux +#!/usr/bin/env bash -eux # inspired by https://github.com/boxcutter/ubuntu