tree 796cc80ac8f8e313bdd0aa89301a4842e031eb97
parent 7a2346f7a9edcb567282c888a4890d76d4ed162c
author Jakub Pawlowski <jpawlowski@google.com> 1540303040 +0200
committer Jakub Pawlowski <jpawlowski@google.com> 1540303349 +0200

Partial fix for linux build

Test: build with ninja on Linux
Change-Id: Ibb5bdde117732556b5b7f0fa6fba8a57c2912782