* update-web-ari.sh (print_heading): Add number of files
authorPierre Muller <muller@sourceware.org>
Thu, 8 Nov 2012 16:50:56 +0000 (16:50 +0000)
committerPierre Muller <muller@sourceware.org>
Thu, 8 Nov 2012 16:50:56 +0000 (16:50 +0000)
commit4574b35a66f832ce0cc2204431834fbe73ab5886
tree93dd73c3db80bc7b8584df924fe788cad4285d6c
parent2834ab426416fbf6e63ecb19f4cf1025990b01dc
* update-web-ari.sh (print_heading): Add number of files
checked.
(nb_files): New variable counting the number of sources
files found by gdb_find.sh script.
(debug_awk): New variable to allow extra debug output.
(indexes): Add more information if DEBUG_AWK is set.
gdb/ChangeLog
gdb/contrib/ari/update-web-ari.sh