Merge "configure: disable tools for armv7-win32-vs1[24]"
authorJames Zern <jzern@google.com>
Fri, 4 Nov 2016 17:48:24 +0000 (17:48 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 4 Nov 2016 17:48:24 +0000 (17:48 +0000)

Trivial merge