summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2008-10-07 14:48:55 +0000
committerIan Lynagh <igloo@earth.li>2008-10-07 14:48:55 +0000
commitf8eee63a43eb15e0025dc996a92db77d50fb2201 (patch)
tree458d70ec9f89c88cd78842f3ddd5a44eeea256a8 /validate
parent5ee6212c3b25c14db37bc01beeca67707736c406 (diff)
downloadhaskell-f8eee63a43eb15e0025dc996a92db77d50fb2201.tar.gz
Check whether mk/validate.mk defines anything after validating
Diffstat (limited to 'validate')
-rw-r--r--validate8
1 files changed, 8 insertions, 0 deletions
diff --git a/validate b/validate
index d6f1c15b35..5d0afb4d2b 100644
--- a/validate
+++ b/validate
@@ -111,6 +111,14 @@ the minimal testing procedure, please do further testing as necessary.
When you are satisfied that you haven't broken anything, go ahead and
push/send your patches.
EOF
+ if grep -q "^[^#]" mk/validate.mk
+ then
+ cat <<EOF
+
+WARNING: You seem to have things set in mk/validate.mk. Please check
+that it is OK before pushing.
+EOF
+ fi
else
cat <<EOF
I didn't find any problems, but this wasn't a complete validate run,