diff --git a/platforms/nuttx/Debug/poor-mans-profiler.sh b/platforms/nuttx/Debug/poor-mans-profiler.sh index a96db837d6..4839861505 100755 --- a/platforms/nuttx/Debug/poor-mans-profiler.sh +++ b/platforms/nuttx/Debug/poor-mans-profiler.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Author: Pavel Kirienko # diff --git a/platforms/nuttx/NuttX/tools/kconfig-conf b/platforms/nuttx/NuttX/tools/kconfig-conf index 1eba34058c..776755355c 100755 --- a/platforms/nuttx/NuttX/tools/kconfig-conf +++ b/platforms/nuttx/NuttX/tools/kconfig-conf @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash echo "DEBUG: kconfiglib kconfig-conf wrapper, arguments: ${@}" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" diff --git a/platforms/nuttx/NuttX/tools/kconfig-tweak b/platforms/nuttx/NuttX/tools/kconfig-tweak index f6d638dc61..e55576b3b0 100755 --- a/platforms/nuttx/NuttX/tools/kconfig-tweak +++ b/platforms/nuttx/NuttX/tools/kconfig-tweak @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash #echo "DEBUG: kconfiglib kconfig-tweak wrapper, arguments: ${@}" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" diff --git a/platforms/nuttx/NuttX/tools/px4_nuttx_make_olddefconfig.sh b/platforms/nuttx/NuttX/tools/px4_nuttx_make_olddefconfig.sh index 3ca87f1ffa..3766d099ba 100755 --- a/platforms/nuttx/NuttX/tools/px4_nuttx_make_olddefconfig.sh +++ b/platforms/nuttx/NuttX/tools/px4_nuttx_make_olddefconfig.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"