tree 8ff9d02e7fbd5bedc342e4178f13e0001af6fb02
parent 82ac38ee5d04236dc27ba221fe2567cf4fefb467
author Gilles Peskine <Gilles.Peskine@arm.com> 1591143917 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1593682017 +0200

Include the library directory for the sake of 3rdparty

When compiling library files under `3rdparty/`, the directory containing
the `.c` file that is being compiled is not the current directory, so
headers from the `library/` directory are not found. Fix this by
adding `.` to the include path.

This was not detected until now because as of this commit, no 3rdparty
source file requires a header under `library/`.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>