diff options
author | Pierre Fenoll <[email protected]> | 2017-12-14 16:31:44 +0100 |
---|---|---|
committer | Pierre Fenoll <[email protected]> | 2018-03-14 11:41:52 +0100 |
commit | bc10d04fd94c967ca687dd8177f24177a0891ded (patch) | |
tree | d731f066fd8e5ac3d4434b068f9fc689c4db47ae | |
parent | eae6cdad41fa94547bce50a64ce398c958a8f9c5 (diff) | |
download | kerl-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-x | kerl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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" |