[ARI patch] Fix gawk-4.0 warning

[Jan Kratochvil]

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")
 }