commit | eab43a62c3c80076cd35261a853dc781cd281f0c | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | Wed Dec 21 09:42:41 2022 +0100 |
committer | GitHub <noreply@github.com> | Wed Dec 21 09:42:41 2022 +0100 |
tree | 316fe61916d04e64a71c08d82e621ee4501eb60d | |
parent | 3e0418fe502b2a2194e118d362efdfc0e558be73 [diff] | |
parent | 031114d6ec2550ad0a297e6a7c3b18ddba8dd9a9 [diff] |
Merge pull request #6795 from gilles-peskine-arm/check_test_cases-quiet_ci Hide check_test_cases warnings on the CI
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 584906a..18dc8a6 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -870,7 +870,7 @@ else opt='' fi - tests/scripts/check_test_cases.py $opt + tests/scripts/check_test_cases.py -q $opt unset opt }