aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre Fenoll <[email protected]>2017-12-14 16:31:44 +0100
committerPierre Fenoll <[email protected]>2018-03-14 11:41:52 +0100
commitbc10d04fd94c967ca687dd8177f24177a0891ded (patch)
treed731f066fd8e5ac3d4434b068f9fc689c4db47ae
parenteae6cdad41fa94547bce50a64ce398c958a8f9c5 (diff)
downloadkerl-bc10d04fd94c967ca687dd8177f24177a0891ded.tar.gz
kerl-bc10d04fd94c967ca687dd8177f24177a0891ded.tar.bz2
kerl-bc10d04fd94c967ca687dd8177f24177a0891ded.zip
In kerl line 99:
if [ -f "$KERL_CONFIG" ]; then . "$KERL_CONFIG"; fi ^-- SC1090: Can't follow non-constant source. Use a directive to specify location.
-rwxr-xr-xkerl5
1 files changed, 4 insertions, 1 deletions
diff --git a/kerl b/kerl
index fb240a0..25b1c45 100755
--- a/kerl
+++ b/kerl
@@ -96,7 +96,10 @@ KERL_BUILD_BACKEND=
mkdir -p "$KERL_BASE_DIR" || exit 1
# source the config file if available
-if [ -f "$KERL_CONFIG" ]; then . "$KERL_CONFIG"; fi
+if [ -f "$KERL_CONFIG" ]; then
+ # shellcheck source=/dev/null
+ . "$KERL_CONFIG"
+fi
if [ -n "$_OGU" ]; then
OTP_GITHUB_URL="$_OGU"