Lines Matching refs:LINUX
160 LINUX="/lib/modules/`uname -r`/build"
162 LINUX="/usr/src/linux"
1730 echo "$CC -O -Wall -o $ODIR.tmp_out $ODIR.tmp_src.c -nostdinc -I$LINUX/include " \
1731 "-I$LINUX/include/generated/uapi" >> $LOG
1732 $CC -O -Wall -o $ODIR.tmp_out $ODIR.tmp_src.c -nostdinc -I$LINUX/include \
1733 -I$LINUX/include/generated/uapi >> $LOG 2>&1
1736 echo " Linux kernel headers not found at $LINUX"
1741 cnf_append "VBOX_LINUX_SRC" "`cd $LINUX ; pwd`"
2313 [ "$OS" = "linux" ] && echo " --with-linux=DIR Linux kernel source directory [$LINUX]"
2432 LINUX=`echo $option | cut -d'=' -f2`