diff options
Diffstat (limited to 'src/tools/make_mkid')
| -rwxr-xr-x | src/tools/make_mkid | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/make_mkid b/src/tools/make_mkid index 01ed0f079b..153a0176de 100755 --- a/src/tools/make_mkid +++ b/src/tools/make_mkid @@ -1,5 +1,6 @@ #!/bin/sh -find `pwd`/ -type f -name '*.[chyl]' -print|sed 's;//;/;g' | mkid -S.gen=C - +find `pwd`/ \( -name _deadcode -a -prune \) -o \ + -type f -name '*.[chyl]' -print|sed 's;//;/;g' | mkid -S.gen=C - find . -type d -print |while read DIR do |