diff options
author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-12-15 21:03:50 +0100 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-12-15 21:03:50 +0100 |
commit | 8dba09de9d62422167164df0038d7d7cf062a252 (patch) | |
tree | 8fd60b3c915e26a2bfd88cbe7773e6716046300e /docs/U-boot.html | |
parent | f3f1a94313361c251c4dfa164921d475835c763d (diff) |
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: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'docs/U-boot.html')
0 files changed, 0 insertions, 0 deletions