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 |
|