genodelabs/genode — pull request #1047 by bjoernd (2014-02-05 21:51:49+00:00)
Title: Check for all missing tools at once, fix #1046

Instead of terminating tool/tool_chain when finding the first
missing tool, this patch runs all checks to completion before
bailing out. This eases finding missing programs, because the
user has to run the script only once to get a list of all missing
software.