4574b35a66
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. |
||
---|---|---|
.. | ||
ari | ||
cc-with-tweaks.sh | ||
test_pubnames_and_indexes.py |