diff options
Diffstat (limited to 'extern/carve/bundle.sh')
| -rwxr-xr-x | extern/carve/bundle.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extern/carve/bundle.sh b/extern/carve/bundle.sh index 63d32a5993d..c80bf645077 100755 --- a/extern/carve/bundle.sh +++ b/extern/carve/bundle.sh @@ -91,7 +91,7 @@ if(WITH_BOOST) -DCARVE_SYSTEM_BOOST ) - list(APPEND INC + list(APPEND INC_SYS \${BOOST_INCLUDE_DIR} ) endif() |