diff options
Diffstat (limited to 'devel/linux_devtools-7/Makefile')
| -rw-r--r-- | devel/linux_devtools-7/Makefile | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/devel/linux_devtools-7/Makefile b/devel/linux_devtools-7/Makefile index 05d0506c512e..ec843b794b92 100644 --- a/devel/linux_devtools-7/Makefile +++ b/devel/linux_devtools-7/Makefile @@ -91,17 +91,10 @@ NEEDLOADLINK= true do-patch: @${DO_NADA} +pre-install: + @${SH} ${PKGINSTALL} ${PKGNAME} PRE-INSTALL + do-install: - @if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then \ - ${ECHO} 'Linux mode is not enabled.\ - Loading linux kernel module...' | fmt; \ - linux || { \ - ${ECHO} 'The linux kernel module could not be loaded.\ - Please manually load the module and retry.\ - See "man linux" for details.' | fmt; \ - ${FALSE}; \ - };\ - fi # # Setup a chroot'able environment # |