diff options
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 |