| commit | ac021d901bc08b7a233ac215fb3b3761c1ee8579 | [log] [tgz] |
|---|---|---|
| author | Jaeden Amero <jaeden.amero@arm.com> | Thu Dec 06 15:52:01 2018 +0000 |
| committer | Jaeden Amero <jaeden.amero@arm.com> | Thu Dec 06 15:52:01 2018 +0000 |
| tree | d9c712568568a25f6510585ccdeca0d69cd868e1 | |
| parent | 2297157dd6236e4a5c2f46c84c401599ef639cf5 [diff] | |
| parent | 051cfd1f92eee9aca9acee985d0f010d56cf1391 [diff] |
Merge remote-tracking branch 'upstream-public/pr/2143' into mbedtls-2.7
diff --git a/tests/git-scripts/pre-push.sh b/tests/git-scripts/pre-push.sh index 7407f44..86edf5a 100755 --- a/tests/git-scripts/pre-push.sh +++ b/tests/git-scripts/pre-push.sh
@@ -46,3 +46,4 @@ 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