1 files changed, 17 insertions, 0 deletions
diff --git a/list-files.sh b/list-files.sh
new file mode 100755
index 0000000..ca1e2e7
--- /dev/null
+++ b/list-files.sh
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+case "$1" in
+all) names='-name exec -o -name dyn -o -name rel' ;;
+norel) names='-name exec -o -name dyn' ;;
+*) names="-name $1" ;;
+esac
+shift
+
+[ $# -gt 0 ] || set .
+
+find "$@" -mindepth 2 -maxdepth 2 \( $names \) ! -size 0 -print |
+while read f; do
+  f="${f#./}"
+  d="${f%/*}"
+  sed "s@^@$d/@" $f
+done