This updates shell scripts to use a consistent style that can be enforced
via pre-commit hook.
As for choosing tabs over spaces, some arguments are:
- tabs can help people with visual impairment
- tabs allow for indenting heredocs in bash
- tabs are the default for the tool shfmt
Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>
Tweak the coverage script.
Update the clean-workspaces script to be able to avoid rebuilding
libraries.
Differential Revision: https://code.wildfiregames.com/D2
This was SVN commit r19074.