--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make-check	Tue Jan 04 11:35:42 2000 +0000
@@ -0,0 +1,32 @@
+#!/bin/bash
+
+if grep '^CFLAGS.*DEBUG' Makefile ; then
+	echo "Debugging options are on in Makefile"
+	exit -1
+fi
+
+if grep // *.[ch] ; then
+	echo "Failed: Source contains C++ style comments"
+	exit -1
+fi
+
+if grep strncpy *.[ch] ; then
+	echo "strncpy may result in unterminated strings."
+	echo "Use Util_copyString"
+	exit -1
+fi
+
+if grep XXX *.[ch] ; then
+	echo "Source contains XXX marker (personnally used)"
+	exit -1
+fi
+
+if grep -i "since version" CHANGELOG.html ; then
+	echo "Warning: CHANGELOG.html should mention new version"
+	echo "Continue anyway? (y/n)"
+	read a
+	if test "$a" != "j" -a "$a" != "J"; then exit -1; fi
+fi
+
+exit 0
+