Merge pull request #3475 from gilles-peskine-arm/rename-check_files-2.16

Backport 2.16: Rename Python scripts to use '_' and not '-'
This commit is contained in:
Gilles Peskine 2020-07-03 15:12:52 +02:00 committed by GitHub
commit a586099fd3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -664,8 +664,8 @@ component_check_doxy_blocks () {
} }
component_check_files () { component_check_files () {
msg "test: check-files.py" # < 1s msg "Check: file sanity checks (permissions, encodings)" # < 1s
record_status tests/scripts/check-files.py record_status tests/scripts/check_files.py
} }
component_check_changelog () { component_check_changelog () {