diff options
author | Paul Fertser <fercerpav@gmail.com> | 2016-11-29 21:14:15 +0300 |
---|---|---|
committer | Paul Fertser <fercerpav@gmail.com> | 2016-12-25 09:48:19 +0000 |
commit | 6f34e64b09b2a61156e837b3077dae619c60f2ea (patch) | |
tree | 959eee6e33f231ff141194d709974eb8afc140f0 /tools/checkpatch.sh | |
parent | 7582e2fd281153a9a7c9318a3dda010efd2a13ed (diff) |
target: armv7a: remove unused level_num field from armv7a_cachesize
This was never used and produces warnings on some systems.
Change-Id: I48d2c5b79890bb2d70c5fae95278b8eb62743398
Reported-by: Tommy Murphy <tm1234@users.sf.net>
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/3891
Tested-by: jenkins
Diffstat (limited to 'tools/checkpatch.sh')
0 files changed, 0 insertions, 0 deletions