K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-08-06T14:40:45.587277Z
K 7
svn:log
V 72
Default to armv5te in LINT on arm. This should fix building LINT there.

END