summaryrefslogtreecommitdiff
path: root/target/linux
diff options
context:
space:
mode:
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>2009-12-15 21:03:50 +0100
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>2009-12-15 21:03:50 +0100
commit8dba09de9d62422167164df0038d7d7cf062a252 (patch)
tree8fd60b3c915e26a2bfd88cbe7773e6716046300e /target/linux
parentf3f1a94313361c251c4dfa164921d475835c763d (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 'target/linux')
0 files changed, 0 insertions, 0 deletions