projects
/
senf.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
Scheduler: Fix timeout/watchdog interference bug
[senf.git]
/
tools
/
find-sources.sh
diff --git
a/tools/find-sources.sh
b/tools/find-sources.sh
index
ca5e9bb
..
33ea4b8
100755
(executable)
--- a/
tools/find-sources.sh
+++ b/
tools/find-sources.sh
@@
-20,7
+20,7
@@
find . \
-name "*.o" -o \
-name "*.os" -o \
-name "*.so" -o \
- \( -type f -a ! -name "*.*" \) -o \
+ \( -type f -a ! -name "*.*" -a -exec sh -c "file --brief {} | grep -q ELF" \; \) -o \
-name "*~" -o \
-name "#*#" -o \
-name "*.pyc" -o \