summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtoolchain/dependencies/dependencies.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh
index 81a8b8db2..6f42a8746 100755
--- a/toolchain/dependencies/dependencies.sh
+++ b/toolchain/dependencies/dependencies.sh
@@ -252,8 +252,9 @@ if ! which makeinfo > /dev/null ; then \
echo "makeinfo installed: FALSE"
/bin/echo -e "\n\nMost likely some packages will fail to build their documentation"
/bin/echo -e "Either install 'makeinfo' on your host or fix the respective packages"
+else
+ echo "makeinfo installed: Ok"
fi
-echo "makeinfo installed: Ok"
#############################################################