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