diff options
Diffstat (limited to 'extern/carve/bundle.sh')
-rwxr-xr-x | extern/carve/bundle.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extern/carve/bundle.sh b/extern/carve/bundle.sh index 05967d6131d..91d5f44a880 100755 --- a/extern/carve/bundle.sh +++ b/extern/carve/bundle.sh @@ -70,8 +70,12 @@ set(INC_SYS ) set(SRC + carve-capi.cc + carve-util.cc ${sources} + carve-capi.h + carve-util.h ${headers} ${includes} |