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)
commit232221b83a3d98da731cbaf589bd3f96bc597ff6
tree959ae943dc72fc527135674076aaa8f37e185262
parent34c35b6fb6417570fff4cb81f1ce45ebe0a1972f
parent90a135854cca4b6bb01c7a17fad0faaf2d8ae670
Merge "configure: disable tools for armv7-win32-vs1[24]"