tree 6249acef2971f345b0e89339e80bb998b33e60f3
parent fa9af268bc717bd40d9c8d8f80d02a669ecb102d
author Dmitry Grinberg <dmitrygr@google.com> 1431468053 -0700
committer Dmitry Grinberg <dmitrygr@google.com> 1431468129 -0700

plat_linux: fix build

Change-Id: Ie6cae6e313601fee538c3476ba2f22ea9958dab2