configure: disable tools for armv7-win32-vs1[24]
authorJames Zern <jzern@google.com>
Fri, 4 Nov 2016 05:54:35 +0000 (22:54 -0700)
committerJames Zern <jzern@google.com>
Fri, 4 Nov 2016 05:54:35 +0000 (22:54 -0700)
commit90a135854cca4b6bb01c7a17fad0faaf2d8ae670
tree851da154961e9b7aa651f1306d7c06f17f487da5
parentcca774c7df21b710cb298358575e05b7c4407303
configure: disable tools for armv7-win32-vs1[24]

this shares the same prohibition as the examples

Change-Id: I17d65e4f26847af8cbb1d1a3c4a114ed021a8b9f
build/make/configure.sh