From f86c129fd56f884e5b68081b3d8f8a44c67b0e06 Mon Sep 17 00:00:00 2001 From: Mark Olesen Date: Mon, 30 Apr 2018 07:50:48 +0200 Subject: [PATCH] STYLE: additional comment when completion not found (issue #719) No completion added for XXX ... incorrect platform, or not yet compiled? --- etc/config.sh/bash_completion | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/config.sh/bash_completion b/etc/config.sh/bash_completion index acd7f9fcd1..493837b2ee 100644 --- a/etc/config.sh/bash_completion +++ b/etc/config.sh/bash_completion @@ -82,6 +82,7 @@ foamAddCompletion() # echo "complete ${appName##*/}" 1>&2 else echo "No completion added for $appName" 1>&2 + echo "... incorrect platform, or not yet compiled?" 1>&2 fi done }