diff options
author | Gabor Dozsa <gabor.dozsa@arm.com> | 2016-06-20 14:49:52 +0100 |
---|---|---|
committer | Gabor Dozsa <gabor.dozsa@arm.com> | 2016-06-20 14:49:52 +0100 |
commit | ddfc4c459358956cb02790626478835572839c2e (patch) | |
tree | c53e526d42d47e3abd4732684113d01614da3ec3 /util/style/file_types.py | |
parent | efb7fb6f852eeedc2cd226332372e7544eb011d7 (diff) | |
download | gem5-ddfc4c459358956cb02790626478835572839c2e.tar.xz |
style: catch trailing white spaces in make and dts files
Change-Id: I2a4f1893919660e51599902b972a6f3f5717e305
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Diffstat (limited to 'util/style/file_types.py')
-rw-r--r-- | util/style/file_types.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/style/file_types.py b/util/style/file_types.py index b10e274f3..c4d744dde 100644 --- a/util/style/file_types.py +++ b/util/style/file_types.py @@ -60,6 +60,7 @@ lang_types = { '.txt' : "text", '.tex' : "tex", '.mk' : "make", + '.dts' : "dts", } # languages based on file prefix |