diff options
Diffstat (limited to 'extern/carve/mkfiles.sh')
-rwxr-xr-x | extern/carve/mkfiles.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/extern/carve/mkfiles.sh b/extern/carve/mkfiles.sh deleted file mode 100755 index bd022666418..00000000000 --- a/extern/carve/mkfiles.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh - -find ./include/ -type f | sed -r 's/^\.\///' | grep -v /config.h > files.txt -find ./lib/ -type f | sed -r 's/^\.\///' >> files.txt |