tree 687cd10f9d27b08b66c6802853759d6b1feb0706
parent 213f2db6792436d370270092f1b62b25ab23aa03
author Patrick Venture <venture@google.com> 1557941710 -0700
committer Patrick Venture <venture@google.com> 1557947851 -0700

build: use configure rule whether host tool is built

Use a configure variable to control whether the host tool is built.  It
is built by default.

Signed-off-by: Patrick Venture <venture@google.com>
Change-Id: Ic5052fbd20cb16fe7fec8fc09d25b90457a5a645