diff options
| author | Pierre Muller <muller@sourceware.org> | 2012-11-08 16:50:56 +0000 |
|---|---|---|
| committer | Pierre Muller <muller@sourceware.org> | 2012-11-08 16:50:56 +0000 |
| commit | 4574b35a66f832ce0cc2204431834fbe73ab5886 (patch) | |
| tree | 93dd73c3db80bc7b8584df924fe788cad4285d6c /include/splay-tree.h | |
| parent | 2834ab426416fbf6e63ecb19f4cf1025990b01dc (diff) | |
| download | gdb-4574b35a66f832ce0cc2204431834fbe73ab5886.zip gdb-4574b35a66f832ce0cc2204431834fbe73ab5886.tar.gz gdb-4574b35a66f832ce0cc2204431834fbe73ab5886.tar.bz2 | |
* 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.
Diffstat (limited to 'include/splay-tree.h')
0 files changed, 0 insertions, 0 deletions