* contrib/ari/gdb_ari.sh (GNU/Linux rule): Remove.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 318f7dff2b0dd71d2fe74b5b944a5c144a59e678..73d5d994e9e70107b925ac12aa57c6b9f17f7d5b 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2013-02-14  Pierre Muller  <muller@sourceware.org>
+
+       * contrib/ari/gdb_ari.sh (GNU/Linux rule): Remove.
+
 2013-02-14  Pedro Alves  <palves@redhat.com>
 
        * utils.c (savestring): Don't #undef it.  Move function to

diff --git a/gdb/contrib/ari/gdb_ari.sh b/gdb/contrib/ari/gdb_ari.sh
index 7e146e8a821d399a229a6786533f85fd641d54e3..d5e2a97222bbd0044fe4c0f7c154bfd1930d8fbc 100644 (file)
--- a/gdb/contrib/ari/gdb_ari.sh
+++ b/gdb/contrib/ari/gdb_ari.sh
@@ -257,21 +257,6 @@ BEGIN {
 
 # Things in comments
 
-BEGIN { doc["GNU/Linux"] = "\
-Do not use `Linux'\'', instead use `Linux kernel'\'' or `GNU/Linux system'\'';\
- comments should clearly differentiate between the two (this test assumes that\
- word `Linux'\'' appears on the same line as the word `GNU'\'' or `kernel'\''\
- or a kernel version"
-    category["GNU/Linux"] = ari_comment
-}
-/(^|[^_[:alnum:]])Linux([^_[:alnum:]]|$)/ \
-&& !/(^|[^_[:alnum:]])Linux\[sic\]([^_[:alnum:]]|$)/ \
-&& !/(^|[^_[:alnum:]])GNU\/Linux([^_[:alnum:]]|$)/ \
-&& !/(^|[^_[:alnum:]])Linux kernel([^_[:alnum:]]|$)/ \
-&& !/(^|[^_[:alnum:]])Linux [[:digit:]]\.[[:digit:]]+)/ {
-    fail("GNU/Linux")
-}
-
 BEGIN { doc["ARGSUSED"] = "\
 Do not use ARGSUSED, unnecessary"
     category["ARGSUSED"] = ari_regression