commit | 7530163f3b003e4851a48cb5661b1b1d4dbf6e6a | [log] [tgz] |
---|---|---|
author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Aug 05 15:10:47 2021 +0200 |
committer | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Aug 05 15:10:47 2021 +0200 |
tree | 602fe64f32adb93bdf6cd0507b849e64369f92da | |
parent | 3cbd69c4d42df872ba3bec1fe511a0183255da74 [diff] |
Make --quiet more effective when running make generated_files Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 2dc1375..7e8b2c3 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -752,7 +752,7 @@ # file that might be around before generating fresh ones make neat if [ $QUIET -eq 1 ]; then - make -s generated_files + make generated_files >/dev/null else make generated_files fi