Merge pull request #1592 from shawnguo2/fix-recovery-build
authorDimitris Papastamos <[email protected]>
Fri, 28 Sep 2018 12:57:45 +0000 (13:57 +0100)
committerGitHub <[email protected]>
Fri, 28 Sep 2018 12:57:45 +0000 (13:57 +0100)
poplar: fix build error with POPLAR_RECOVERY=1


Trivial merge