From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 21 Apr 2009 09:46:06 +0000 (+0000)
Subject: add a DO NOT EDIT comment
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=199dc7420ac285628d28538cafe037cc85cff8a7

add a DO NOT EDIT comment
---

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index 14ae5b2..7d647ed 100644
--- a/mk/validate-settings.mk
+++ b/mk/validate-settings.mk
@@ -1,3 +1,5 @@
+# DO NOT EDIT!  Instead, create a file mk/validate.mk, whose settings will
+# override these.  See also mk/custom-settings.mk.
 
 WERROR          = -Werror