1 files changed, 33 insertions, 0 deletions
diff --git a/script/clean-source-tree.sh b/script/clean-source-tree.sh
new file mode 100755
index 0000000..8d7f759
--- /dev/null
+++ b/script/clean-source-tree.sh
@@ -0,0 +1,33 @@
+#!/bin/sh
+#
+
+N=$(git clean -n | wc -l)
+C=$(git diff --stat HEAD | wc -l)
+
+test x"$N" != x"0" && {
+	echo "The tree has $N new uncommitted files!!! see stderr"
+	echo "The tree has $N new uncommitted files!!!" >&2
+
+	echo "git clean -n" >&2
+	git clean -n >&2
+
+	test x"$C" != x"0" && {
+		echo "git diff -p --stat HEAD" >&2
+		git diff -p --stat HEAD >&2
+	}
+
+	exit 1
+}
+
+test x"$C" != x"0" && {
+	echo "The tree has uncommitted changes!!! see stderr"
+	echo "The tree has uncommitted changes!!!" >&2
+
+	echo "git diff -p --stat HEAD" >&2
+	git diff -p --stat HEAD >&2
+
+	exit 1
+}
+
+echo "clean tree"
+exit 0