--- VirtualBox-1.5.0_OSE/configure.mdvconfig 2007-08-31 14:42:12.000000000 +0200 +++ VirtualBox-1.5.0_OSE/configure 2007-09-03 17:21:36.000000000 +0200 @@ -988,6 +987,7 @@ EOF # check_linux() { + return 0 test_header "Linux kernel sources" cat > .tmp_src.c << EOF #include <linux/version.h> @@ -1282,6 +1282,7 @@ check_kbuild if [ $OSE -ge 1 ]; then cnf_append "VBOX_OSE" "1" cnf_append "VBOX_WITH_TESTSUITE" "" + cnf_append "VBOX_WITH_VBOXDRV" "" cnf_append "VBOX_WITH_WIN32_ADDITIONS" "" if [ "$OS" = "linux" ]; then