Commit 8dba09de authored by Thomas Petazzoni's avatar Thomas Petazzoni
Browse files

dependencies: bail out if makeinfo isn't found 



makeinfo is mandatory at least to build a toolchain. Currently,
dependencies.sh doesn't fail if makeinfo is not present and only
displays a message that can easily be lost. The user will then
encounter the issue later, when it is more difficult to understand
what's happening.

So, this patch simply does for makeinfo what the script does for the
other dependencies: bail out if they aren't available.

Signed-off-by: default avatarThomas Petazzoni <thomas.petazzoni@free-electrons.com>
parent f3f1a943

toolchain/dependencies/dependencies.sh

+1 −0
Original line number Diff line number Diff line
@@ -308,6 +308,7 @@ if ! which makeinfo > /dev/null ; then \ 
	/bin/echo -e "\n\nMost likely some packages will fail to build their documentation"

	echo "Either install 'makeinfo' on your host or fix the respective packages."

	echo "Makeinfo can usually be found in the texinfo package for your host."

	exit 1

else

	echo "makeinfo installed:				Ok"

fi