tree 93b97c2f5433a13c8c0f99ec413a4a032d37c3c3
parent ba8ffa73eb8c5941aba2378d0c70d638abd305ce
author Patrick Venture <venture@google.com> 1549985022 -0800
committer Patrick Venture <venture@google.com> 1549985022 -0800

build: check for json header

Check for the json header during configuration.

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