From 1df5bcb21e5200e73afd6cd200d1f12e75bc592b Mon Sep 17 00:00:00 2001
From: Arnout Engelen <arnouten@localhost.(none)>
Date: Sun, 17 Jan 2010 17:16:05 +0100
Subject: [PATCH] add comment to the top of 'checkers.c'

---
 generate_checkers.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/generate_checkers.pl b/generate_checkers.pl
index edea40b..84ca9da 100755
--- a/generate_checkers.pl
+++ b/generate_checkers.pl
@@ -2,6 +2,8 @@
 
 open(CHECKERS, ">checkers.c");
 
+print CHECKERS "/* This file is generated by generate_checkers.pl < functions - do not edit by hand. */\n";
+
 my $fragment = `cat checker_fragment.c`;
 
 while (<STDIN>)
-- 
2.11.4.GIT