summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Gianforcaro <bgianf@serenityos.org>2021-05-04 21:44:15 -0700
committerAndreas Kling <kling@serenityos.org>2021-05-05 21:26:37 +0200
commitf558a44610019ca2149ed6e161992ad20f1a9419 (patch)
treeeda07fe5ad668b346eb99f1f634696090c65fbf5
parentb4927a753db3330184f6db43a19f63ab29a5dfca (diff)
downloadserenity-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-xToolchain/BuildFuseExt2.sh5
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"