tree 8f8693f1ac745f56e9475f55adfeb9e4a4004088
parent 7ae5ddeef97f2e64fd28903dc2e7ae31c338da28
author Patrick Venture <venture@google.com> 1544757055 -0800
committer Patrick Venture <venture@google.com> 1546630248 +0000

build: include download of ipmi linux header

Add download of ipmi linux header in build.

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