In bash, ${parameter:=word} assigns the default value. In our case,
${parameter:-word} (the whole expression has a default value, but it's
not assigned) suffices.
Change-Id: I5f4105b973892aa13943d660cbebaed76fd43752
"failstar" sounds like a name for a cruise liner from the 80s. As "*" isn't a
desirable part of directory names, just name the whole thing "fail/", the core
parts being stored in "fail/core/".
Additionally fixing two build system dependency issues:
- missing jobserver -> protomessages dependency
- broken bochs -> fail dependency (add_custom_target DEPENDS only allows plain
file dependencies ... cmake for the win)
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@956 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
