diff options
| author | Pierre Muller <muller@sourceware.org> | 2013-02-14 21:08:35 +0000 |
|---|---|---|
| committer | Pierre Muller <muller@sourceware.org> | 2013-02-14 21:08:35 +0000 |
| commit | 42e79b1dfd5af6186a732014d6589d961aba2ec5 (patch) | |
| tree | 5b6f50b5061876c790d081aeca5c18ab2687f232 | |
| parent | a1ccaec9526b7c2ebd2cc4fc5b5367389dc729ec (diff) | |
| download | gdb-42e79b1dfd5af6186a732014d6589d961aba2ec5.zip gdb-42e79b1dfd5af6186a732014d6589d961aba2ec5.tar.gz gdb-42e79b1dfd5af6186a732014d6589d961aba2ec5.tar.bz2 | |
* contrib/ari/gdb_ari.sh (GNU/Linux rule): Remove.
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/contrib/ari/gdb_ari.sh | 15 |
2 files changed, 4 insertions, 15 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 318f7df..73d5d99 100644 --- 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 7e146e8..d5e2a97 100644 --- 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 |