diff options
author | Sergey Sharybin <sergey.vfx@gmail.com> | 2013-11-28 11:47:51 +0400 |
---|---|---|
committer | Sergey Sharybin <sergey.vfx@gmail.com> | 2013-11-28 12:00:10 +0400 |
commit | 1c14ead46f6aa7cc850033cf77d59127ca257b93 (patch) | |
tree | 71b6572baac5e2f2da34940bdc313f66a29a174f /extern/carve/mkfiles.sh | |
parent | 6dded46a484fdee85e294e425779f829f103f4b3 (diff) |
Carve bundler script cleanup
- random.hpp was only removed from actual include
directory, but not from patches/files.
- Files list generator didn't ignore config.h file
which in fact is not needed.
Diffstat (limited to 'extern/carve/mkfiles.sh')
-rwxr-xr-x | extern/carve/mkfiles.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extern/carve/mkfiles.sh b/extern/carve/mkfiles.sh index d117d7531bd..bd022666418 100755 --- a/extern/carve/mkfiles.sh +++ b/extern/carve/mkfiles.sh @@ -1,4 +1,4 @@ #!/bin/sh -find ./include/ -type f | sed -r 's/^\.\///' > files.txt +find ./include/ -type f | sed -r 's/^\.\///' | grep -v /config.h > files.txt find ./lib/ -type f | sed -r 's/^\.\///' >> files.txt |