Merge pull request #1592 from shawnguo2/fix-recovery-build
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 28 Sep 2018 12:57:45 +0000 (13:57 +0100)
committerGitHub <noreply@github.com>
Fri, 28 Sep 2018 12:57:45 +0000 (13:57 +0100)
poplar: fix build error with POPLAR_RECOVERY=1


Trivial merge