Re: [ARI patch] Fix gawk-4.0 warning

[Joel Brobecker <brobecker@adacore.com>]

> unaware who maintains ARI:

Pierre Muller has been the most active contributor in that area.
I see him as the de-facto maintainer, or rather "authorized committer".
These files are not part of the GDB repository, so could be maintained
a little differently, or we could say they fall under the GMs umbrella,
or ask Pierre if he wants to be the maintainer....

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

-- 
Joel