Searched refs:WHICH_LINUX (Results 1 – 1 of 1) sorted by relevance
83 case x$WHICH_LINUX in #(vi90 WHICH_LINUX=linux-c93 WHICH_LINUX=linux2.296 WHICH_LINUX=linux3.0100 WHICH_LINUX=$linux_dft107 WHICH_LINUX=$linux_dft111 if test $WHICH_LINUX != $linux_dft113 echo "** using $WHICH_LINUX terminal description for Linux console" >&2116 s/use=$linux_dft,/use=$WHICH_LINUX,/