diff options
author | Nicola Mazzucato <nicola.mazzucato@arm.com> | 2018-08-22 08:36:00 +0100 |
---|---|---|
committer | ronald-cron-arm <39518861+ronald-cron-arm@users.noreply.github.com> | 2018-11-21 15:45:32 +0100 |
commit | 3d712ef0913aea9e89a0a42b2d46576fcb515051 (patch) | |
tree | ac3b3dcf99ab723b5a1afed49fa05488e6a59834 /tools/check_spacing.py | |
parent | 8f4e4c5da20d73dec4b207d5193a78f4b6e6280d (diff) |
build: Add support for binary modules
Change-Id: I054a77d3295150c1e5445d430cabaad978e7e594
Signed-off-by: Nicola Mazzucato <nicola.mazzucato@arm.com>
Diffstat (limited to 'tools/check_spacing.py')
-rwxr-xr-x | tools/check_spacing.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/check_spacing.py b/tools/check_spacing.py index afbb668b..1eb38cbb 100755 --- a/tools/check_spacing.py +++ b/tools/check_spacing.py @@ -40,6 +40,7 @@ EXCLUDE = [ '*.jar', '*.md', '*.swp', + '*.a', ] KEYWORDS = [ |