[ARI patch] Fix gawk-4.0 warning

Jan Kratochvil
2012-03-14T20:15:21Z

Hi,

unaware who maintains ARI:

For http://sourceware.org/gdb/current/ari/gdb_ari.sh
with gawk-4.0.0-4.fc17.x86_64 getting:
awk: cmd. line:135: warning: regexp component `[:digit:]' should probably be `[[:digit:]]'

Untested.

Thanks,
Jan

* gdb_ari.sh (GNU/Linux): Fix '[:digit:]' compatibility with gawk-4.0.

--- /home/jkratoch/t/gdb_ari.sh-orig 2012-03-14 20:15:48.804209849 +0100
+++ /home/jkratoch/t/gdb_ari.sh 2012-03-14 20:57:07.255866311 +0100
@@ -242,7 +242,7 @@ Do not use `Linux'\'', instead use `Linu
&& !/(^|[^_[:alnum:]])Linux\[sic\]([^_[:alnum:]]|$)/ \
&& !/(^|[^_[:alnum:]])GNU\/Linux([^_[:alnum:]]|$)/ \
&& !/(^|[^_[:alnum:]])Linux kernel([^_[:alnum:]]|$)/ \
-&& !/(^|[^_[:alnum:]])Linux [:digit:]\.[:digit:]+)/ {
+&& !/(^|[^_[:alnum:]])Linux [[:digit:]]\.[[:digit:]]+)/ {
fail("GNU/Linux")
}