diff options
author | Sergey Sharybin <sergey.vfx@gmail.com> | 2013-02-25 14:02:43 +0400 |
---|---|---|
committer | Sergey Sharybin <sergey.vfx@gmail.com> | 2013-02-25 14:02:43 +0400 |
commit | 18fd4bd9f48112fae9f7d29ee88d39cdf5d3a95f (patch) | |
tree | 950919f9f3b6831b5d097b7abbce57049db000ca /extern/carve/bundle.sh | |
parent | 0479f785ca7c17e037a15286da4440724286eda4 (diff) |
Update Carve to newest upstream version with some assorted fixes
Perhaps some warnings could be silenced, but not in mood of writing
local patches at this moment. They're all harmless anyway.
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() |