Searched refs:gdb_version (Results 1 – 1 of 1) sorted by relevance
225 gdb_version="`gdb --version 2> /dev/null | head -1`"249 echo "GDB: $gdb_version" >> final