tree e3c59d33184d6d99a9941c821a83aa226754abbe
parent bf7ae6fb25a4722886880f5d23de671bd4dbcecc
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1591090087 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1591091534 +0200

Add a --quiet option to all.sh

The primary purpose is to use it to run all.sh -k -q in the pre-push hook, but
this can be useful in any circumstance where you're not interested in the full
output from each component and just want a short summary of which components
were run (and if any failed).

Note that only stdout from components is suppressed, stderr is preserved so
that errors are reported. This means components should avoid printing to
stderr in normal usage (ie in the absence of errors).

Currently all the `check_*` components obey this convention except:
- check_generate_test_code: unittest prints progress to stderr
- check_test_cases: lots of non-fatal warnings printed to stderr

These components will be fixed in follow-up commits.

Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>