diff options
| author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | 2020-06-02 11:54:25 +0200 |
|---|---|---|
| committer | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | 2020-06-23 11:54:13 +0200 |
| commit | 4f265fbff79e6368a0bbf1ab7c38907ee8d5c474 (patch) | |
| tree | 690fca216d65ff7ea023df5b0c036e05c06af79e | |
| parent | 73341a0f8450619b595a2d05dac9e52dc8465741 (diff) | |
| download | mbedtls-4f265fbff79e6368a0bbf1ab7c38907ee8d5c474.zip mbedtls-4f265fbff79e6368a0bbf1ab7c38907ee8d5c474.tar.gz mbedtls-4f265fbff79e6368a0bbf1ab7c38907ee8d5c474.tar.bz2 | |
Use all.sh in pre-push hook
The list in the pre-push hook was redundant with the list of `check_*`
components in all.sh, and unsurprisingly it was outdated.
Missing components were:
- check_recursion
- check_changelog
- check_test_cases
- check_python_files
- check_generate_test_code
Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
| -rwxr-xr-x | tests/git-scripts/pre-push.sh | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/tests/git-scripts/pre-push.sh b/tests/git-scripts/pre-push.sh index 1200842..fd283c8 100755 --- a/tests/git-scripts/pre-push.sh +++ b/tests/git-scripts/pre-push.sh @@ -72,18 +72,4 @@ echo "URL is $URL" set -eu -run_test() -{ - TEST=$1 - echo "running '$TEST'" - if ! `$TEST > /dev/null 2>&1`; then - echo "test '$TEST' failed" - return 1 - fi -} - -run_test ./tests/scripts/check-doxy-blocks.pl -run_test ./tests/scripts/check-names.sh -run_test ./tests/scripts/check-generated-files.sh -run_test ./tests/scripts/check-files.py -run_test ./tests/scripts/doxygen.sh +tests/scripts/all.sh -q -k 'check_*' |