diff options
| author | petrie911 <69443847+petrie911@users.noreply.github.com> | 2024-05-18 17:49:49 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-18 19:49:49 -0300 |
| commit | 80eaf7d2e53fd328ed2e76d39e3d634ae920931f (patch) | |
| tree | 845ec6d23f3731e2d53f83434e81af567a57ae33 /tools/format.py | |
| parent | 36ac4066c9d9542ef3e65f260c1fd60a12f12619 (diff) | |
support for EU rev 0, updates to tools, other cleanup (#255)
* srceu
* remove warning
* and some cleanup
Diffstat (limited to 'tools/format.py')
| -rwxr-xr-x | tools/format.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/format.py b/tools/format.py index 6a414fad..c7b51218 100755 --- a/tools/format.py +++ b/tools/format.py @@ -186,7 +186,8 @@ def main(): files = args.files extra_files = [] else: - files = glob.glob("src/**/*.c", recursive=True) + files = glob.glob("src*/**/*.c", recursive=True) + files = [x for x in files if "assets" not in x] extra_files = glob.glob("assets/**/*.xml", recursive=True) format_files(files, extra_files, nb_jobs) |