Merge pull request #11 from ppwwyyxx/patch-1
authorAnthony Barbier <Anthony.barbier@arm.com>
Wed, 5 Apr 2017 09:16:53 +0000 (10:16 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Apr 2017 09:16:53 +0000 (10:16 +0100)
Include <cerrno>


Trivial merge