util: use env to call bash in shell scripts

- For shell scripts using bash, use #!/usr/bin/env bash instead of #!/bin/bash.
    On some OS, bash is not the default shell and is not installed as /bin/bash

Signed-off-by: Laurent Cheylus <foxy@free.fr>
This commit is contained in:
Laurent Cheylus 2024-01-01 15:11:58 +01:00
parent 8df064e1fa
commit 6d3345cfec
No known key found for this signature in database
3 changed files with 3 additions and 3 deletions

2
util/analyze-gnu-results.sh Normal file → Executable file
View file

@ -1,4 +1,4 @@
#!/bin/bash #!/usr/bin/env bash
# spell-checker:ignore xpass XPASS testsuite # spell-checker:ignore xpass XPASS testsuite
set -e set -e

View file

@ -1,4 +1,4 @@
#!/bin/bash #!/usr/bin/env bash
# spell-checker:ignore termux keyevent sdcard binutils unmatch adb's dumpsys logcat pkill nextest logfile # spell-checker:ignore termux keyevent sdcard binutils unmatch adb's dumpsys logcat pkill nextest logfile
# There are three shells: the host's, adb, and termux. Only adb lets us run # There are three shells: the host's, adb, and termux. Only adb lets us run

View file

@ -1,4 +1,4 @@
#!/bin/bash #!/usr/bin/env bash
# `build-gnu.bash` ~ builds GNU coreutils (from supplied sources) # `build-gnu.bash` ~ builds GNU coreutils (from supplied sources)
# #