diff options
author | Brian Gianforcaro <bgianf@serenityos.org> | 2021-05-04 21:44:15 -0700 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-05-05 21:26:37 +0200 |
commit | f558a44610019ca2149ed6e161992ad20f1a9419 (patch) | |
tree | eda07fe5ad668b346eb99f1f634696090c65fbf5 | |
parent | b4927a753db3330184f6db43a19f63ab29a5dfca (diff) | |
download | serenity-f558a44610019ca2149ed6e161992ad20f1a9419.zip |
Toolchain: Make BuildFuseExt2.sh shellcheck compliant
BuildFuseExt2.sh was saying it should be run under /bin/sh but it is
using bash extensions like pushd/popd, ${BASH_SOURCE[0]}, etc. So just
run it under bash to avoid any potential issues.
-rwxr-xr-x | Toolchain/BuildFuseExt2.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Toolchain/BuildFuseExt2.sh b/Toolchain/BuildFuseExt2.sh index 3876f58b37..0247f68f7f 100755 --- a/Toolchain/BuildFuseExt2.sh +++ b/Toolchain/BuildFuseExt2.sh @@ -1,4 +1,7 @@ -#!/bin/sh +#!/usr/bin/env bash +set -e +# This file will need to be run in bash. + DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" export PATH="/usr/local/opt/m4/bin:$PATH" |