From 3a3a7461548b8ef28989a49829529ce26614b4d4 Mon Sep 17 00:00:00 2001 From: Dmitry Klionsky Date: Mon, 11 Apr 2016 11:48:37 +0300 Subject: Use dot instead of source In Ubuntu /bin/sh is /bin/dash, which doesn't support the source command. --- kerl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kerl b/kerl index 68f3750..6944a5c 100755 --- a/kerl +++ b/kerl @@ -66,7 +66,7 @@ KERL_BUILD_PLT= mkdir -p "$KERL_BASE_DIR" || exit 1 # source the config file if available -if [ -f "$KERL_CONFIG" ]; then source "$KERL_CONFIG"; fi +if [ -f "$KERL_CONFIG" ]; then . "$KERL_CONFIG"; fi if [ -n "$_KCO" ]; then KERL_CONFIGURE_OPTIONS="$_KCO" -- cgit v1.2.3