1 files changed, 14 insertions, 0 deletions
diff --git a/Util/preconfig b/Util/preconfig
new file mode 100755
index 000000000..469115a9d
--- /dev/null
+++ b/Util/preconfig
@@ -0,0 +1,14 @@
+#! /bin/sh
+
+find . \( -name '*.*' -prune \) -o \( -name .preconfig -print \) | (
+    while read pre; do
+	cmd=`echo $pre | sed 's,^,cd ,;s,/\([^/]*\)$, \&\& ./\1,'`
+	echo >&2 "$cmd"
+	if ( eval "$cmd" ); then :; else
+	    echo "$0: $pre failed (status $?)"
+	    exit 1
+	fi
+    done
+)
+
+exit 0