[PATCH 5 of 6 V2] check-code: drop now unused check-code-ignore

[Simon Heimberg]

# HG changeset patch
# User Simon Heimberg <simohe at besonet.ch>
# Date 1389130191 -3600
#      Tue Jan 07 22:29:51 2014 +0100
# Node ID 21914f89ffa474a65c557cda0858d216cf2510c2
# Parent  1093aa559157b90375312777bb04ff7eb18d8001
check-code: drop now unused check-code-ignore

Using check-code-ignore to skip the failures on a line has several
disadvantages:
 * It skips all check-code failures on a line, not only the one it was created
   for.
 * It does not give any hint for which rule it was added, making it difficult to
   see when it is not needed anymore.
So drop this pragma in favor of better alternatives promoted before.

diff -r 1093aa559157 -r 21914f89ffa4 contrib/check-code.py
--- a/contrib/check-code.py	Tue Jan 07 22:29:44 2014 +0100
+++ b/contrib/check-code.py	Tue Jan 07 22:29:51 2014 +0100
@@ -495,12 +495,7 @@
                     n += 1
                 l = prelines[n]
 
-                if "check-code" "-ignore" in l:
-                    if debug:
-                        print "Skipping %s for %s:%s (check-code" "-ignore)" % (
-                            name, f, n)
-                    continue
-                elif ignore and re.search(ignore, l, re.MULTILINE):
+                if ignore and re.search(ignore, l, re.MULTILINE):
                     continue
                 bd = ""
                 if blame: