diff -r 81e905790b30 -r 16b5f498f49c contrib/check-code.py
--- a/contrib/check-code.py	Tue Jan 07 22:28:45 2014 +0100
+++ b/contrib/check-code.py	Tue Jan 07 22:29:15 2014 +0100
@@ -441,10 +441,8 @@
         pre = post = fp.read()
         fp.close()
         if "no-" "check-code" in pre:
-            if debug:
-                print "Skipping %s for %s it has no-" "check-code" % (
-                       name, f)
-            break
+            print "Skipping %s it has no-" "check-code" % f
+            return "Skip" # skip checking this file
         for p, r in filters:
             post = re.sub(p, r, post)
         nerrs = len(pats[0]) # nerr elements are errors