mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-21 21:06:11 +01:00
Adds duplication check for source files in CI
This commit is contained in:
parent
fefa001bb6
commit
39e13bf530
19
.github/workflows/validate-header-guards.yml
vendored
19
.github/workflows/validate-header-guards.yml
vendored
@ -5,16 +5,13 @@ name: Check header guards
|
||||
on: [push, pull_request]
|
||||
|
||||
jobs:
|
||||
# Set the job key. The key is displayed as the job name
|
||||
# when a job name is not provided
|
||||
checkguard:
|
||||
# Name the Job
|
||||
name: Check include guard naming convention
|
||||
build:
|
||||
# Set the type of machine to run on
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
|
||||
- name: Checkout source code
|
||||
uses: actions/checkout@v2
|
||||
|
||||
- name: Setup Dependencies
|
||||
uses: actions/setup-python@v2
|
||||
@ -23,7 +20,8 @@ jobs:
|
||||
- name: Install checkguard
|
||||
run: pip install guardonce
|
||||
|
||||
- name: Run checkguard
|
||||
# Check include guard naming convention
|
||||
- name: checkguard
|
||||
run: |
|
||||
wrong_files=$(checkguard -r src/catch2/ -p "name | append _INCLUDED | upper")
|
||||
if [[ $wrong_files ]]; then
|
||||
@ -31,3 +29,8 @@ jobs:
|
||||
echo $wrong_files
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Check duplicate files for include guard conflicts
|
||||
- name: checknames
|
||||
run: |
|
||||
python tools/scripts/checkDuplicateFilenames.py
|
||||
|
14
tools/scripts/checkDuplicateFilenames.py
Normal file
14
tools/scripts/checkDuplicateFilenames.py
Normal file
@ -0,0 +1,14 @@
|
||||
#!/usr/bin/env python3
|
||||
|
||||
import os
|
||||
import sys
|
||||
|
||||
files_set = set()
|
||||
|
||||
for root, dir, files in os.walk("src/catch2"):
|
||||
for file in files:
|
||||
if file not in files_set:
|
||||
files_set.add(file)
|
||||
else:
|
||||
print("File %s is duplicate" % file)
|
||||
sys.exit(1)
|
Loading…
Reference in New Issue
Block a user