Searched refs:DEFAULT_GDB_VERSION (Results 1 – 3 of 3) sorted by relevance
47 DEFAULT_GDB_VERSION=7.3.x221 *) echo "$DEFAULT_GDB_VERSION";;
58 GDB_VERSION=$DEFAULT_GDB_VERSION
45 GDB_VERSION=$DEFAULT_GDB_VERSION