Searched refs:DEFAULT_GCC32_VERSION (Results 1 – 3 of 3) sorted by relevance
52 DEFAULT_GCC32_VERSION=4.8122 *) echo $DEFAULT_GCC32_VERSION ;;
90 if [ ! -f "$SRC_DIR/build/configure" -o ! -d "$SRC_DIR/gcc/gcc-$DEFAULT_GCC32_VERSION" -o ! -d "$SR…92 echo " the directory $SRC_DIR/gcc/gcc-$DEFAULT_GCC32_VERSION or"
333 GCC_SRC_DIR=$SRC_DIR/gcc/gcc-$DEFAULT_GCC32_VERSION