1 files changed, 24 insertions, 0 deletions
diff --git a/aux/prune-includes.sh b/aux/prune-includes.sh
new file mode 100755
index 0000000..3a10fa2
--- /dev/null
+++ b/aux/prune-includes.sh
@@ -0,0 +1,24 @@
+#!/bin/sh
+set -eu
+
+. aux/lib.sh
+
+prune() {
+	file="$1"
+	lines="$(grep -n '^#include ' "$file" | cut -d: -f1)"
+	ORIG="$(mkstemp)"
+	cp "$file" "$ORIG"
+	for line in $lines; do
+		sed "${line}d" "$ORIG" > "$file"
+		if make -e; then
+			prune "$file"
+			break
+		else
+			cp "$ORIG" "$file"
+		fi
+	done
+}
+
+for f in "$@"; do
+	prune "$f"
+done