Searched refs:DEFAULT_GDB_VERSION (Results 1 – 2 of 2) sorted by relevance
58 DEFAULT_GDB_VERSION=7.3.x283 *) echo "$DEFAULT_GDB_VERSION";;
44 GDB_VERSION=$DEFAULT_GDB_VERSION