--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/unchanged	Fri Mar 13 14:00:53 2009 +0100
@@ -0,0 +1,9 @@
+#! /bin/bash
+
+file="${1?}"
+
+test -e "$file" || exit 0
+
+found=$(head -n -1 "$file" | sha1sum | cut -f1 -d' ')
+expected=$(tail -n 1 "$1" | cut -f2 -d" ")
+test "$found" = "$expected"