Searched refs:do_gdb_version (Results 1 – 1 of 1) sorted by relevance
46 register_option "--gdb-version=<version>" do_gdb_version "Specify gdb version" "$GDB_VERSION"47 do_gdb_version () { function