1 files changed, 14 insertions, 0 deletions
diff --git a/needs-checking/removed-by-patch b/needs-checking/removed-by-patch
new file mode 100755
index 0000000..ff12970
--- /dev/null
+++ b/needs-checking/removed-by-patch
@@ -0,0 +1,14 @@
+#!/bin/sh
+# Extract names of new files from a patch, print them out
+
+PATCHFILE=$1
+case "$PATCHFILE" in
+*.gz) CMD="gzip -d < $PATCHFILE";;
+*)    CMD="cat $PATCHFILE";;
+esac
+
+TMP=$(mktemp /tmp/rbp-XXXXXX)
+
+eval $CMD | egrep '^\+\+\+.*1970|\+\+\+.*1969' > $TMP
+sed -e 's@[^/]*/\([^ 	]*\).*@\1@' < $TMP | sed -e 's@^linux/@@' | sort
+rm -f $TMP