Diff of /trunk/virtualbox/virtualbox-config.sh
Parent Directory
| 
Revision Log
| 
Patch
| revision 2058 by niro, Wed Jan 30 13:43:16 2013 UTC | revision 2059 by niro, Wed Jan 30 13:43:50 2013 UTC | |
|---|---|---|
| # | Line 93 done | Line 93 done |
| 93 | ||
| 94 | if [[ ${compile} = yes ]] | if [[ ${compile} = yes ]] |
| 95 | then | then |
| 96 | if [ ! -f ${KERNEL_SOURCES}/include/linux/version.h ] | if [ ! -f ${KERNEL_SOURCES}/include/linux/version.h ] && |
| 97 | [ ! -f ${KERNEL_SOURCES}/include/generated/uapi/linux/version.h ] | |
| 98 | then | then |
| 99 | die "No kernel sources for kernel ${KERNEL_VERSION} found! Aborting." | die "No kernel sources for kernel ${KERNEL_VERSION} found! Aborting." |
| 100 | fi | fi |
|
||||||||