Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Give priority to the build directory headers
Not changing anything right now AFAIK. But if for any reason in the future we end up with two headers with the same name in the source and build directories, chances are we want to use the one in the build directory.
- Loading branch information