Searched refs:DEBIAN_NAME (Results 1 – 1 of 1) sorted by relevance
733 if [ "$DEBIAN_NAME" -a "$BINPREFIX" -a "$MINGW_GCC" ]; then790 echo "TIP: On Debian or Ubuntu, try: sudo apt-get install $DEBIAN_NAME"