1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/git-ignore-elf b/scripts/git-ignore-elf
new file mode 100755
index 0000000..77cfac7
--- /dev/null
+++ b/scripts/git-ignore-elf
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -eu
+cd "$(git rev-parse --show-toplevel)"
+file=.gitignore
+new=$file.new.$$
+(
+ if [ -e "$file" ]; then
+ cat "$file"
+ fi
+ find . -name .git -prune -o -type f ! -name '*.o' ! -name '*.so' \
+ -print0 | xargs -0 file | grep ': *ELF ' | sed 's/:.*//' |
+ sed 's,^./,,'
+ ) | perl -ne 'print if !$already{$_}++' >"$new"
+mv "$new" "$file"