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

This commit is contained in:
Pierre Muller 2013-02-14 21:08:35 +00:00
parent a1ccaec952
commit 42e79b1dfd
2 changed files with 4 additions and 15 deletions

View File

@ -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

View File

@ -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