diff options
Diffstat (limited to 'devel/linux_devtools-7/pkg-install')
| -rw-r--r-- | devel/linux_devtools-7/pkg-install | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/linux_devtools-7/pkg-install b/devel/linux_devtools-7/pkg-install new file mode 100644 index 000000000000..957ee313fa57 --- /dev/null +++ b/devel/linux_devtools-7/pkg-install @@ -0,0 +1,17 @@ +#!/bin/sh +# an installation script for linux_devtools + +case "$2" in +PRE-INSTALL) + if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then + echo 'Linux mode is not enabled.' + echo 'Loading linux kernel module now...' + if ! kldload linux; then + echo 'The linux kernel module could not be loaded.' + echo 'Please enable linux mode manually and retry.' + exit 1 + fi + ;; +esac + +exit 0 |