diff options
| author | Arnstein Ressem <aressem@yahoo-inc.com> | 2016-06-16 16:31:09 +0200 |
|---|---|---|
| committer | Arnstein Ressem <aressem@yahoo-inc.com> | 2016-06-16 16:31:09 +0200 |
| commit | c8894f20f7dc200b7800e533dc9ff37d09151fa6 (patch) | |
| tree | 57d22fa5411135bb5af12fca7c056ee1c9e6f6bc /build_settings.cmake | |
| parent | 7fa10727479d982e72bbece38d2a4b24d58c707a (diff) | |
Add extra include directory as well.
Diffstat (limited to 'build_settings.cmake')
| -rw-r--r-- | build_settings.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build_settings.cmake b/build_settings.cmake index 4bd78211c28..2115d80d387 100644 --- a/build_settings.cmake +++ b/build_settings.cmake @@ -63,6 +63,9 @@ if(VALGRIND_EXECUTABLE) set(VALGRIND_COMMAND "${VALGRIND_EXECUTABLE} ${VALGRIND_OPTIONS}") endif() +if(EXTRA_INCLUDE_DIRECTORY) + include_directories(${EXTRA_INCLUDE_DIRECTORY}) +endif() if(EXTRA_LINK_DIRECTORY) link_directories(${EXTRA_LINK_DIRECTORY}) endif() |