tree 5bdb21de436bb08d7d33ece530f5c20fea0aba4d
parent fd0f1cf99b2ef022fc36a2ff8c1d8040ccddc4ec
author Patrick Venture <venture@google.com> 1549985526 -0800
committer Patrick Venture <venture@google.com> 1549985667 -0800

build: check for json header

Check for the json header during configuration.

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