1 files changed, 0 insertions, 24 deletions
diff --git a/aux/prune-includes.sh b/aux/prune-includes.sh
deleted file mode 100755
index 3a10fa2..0000000
--- a/aux/prune-includes.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/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