diff options
author | William Hubbs <williamh@gentoo.org> | 2012-07-12 16:03:57 -0500 |
---|---|---|
committer | William Hubbs <williamh@gentoo.org> | 2012-07-12 16:03:57 -0500 |
commit | da049625212109a1a6f16ba1f48c87d5f972f410 (patch) | |
tree | 75389d7ff68a96fe96c4ef026123adb94fef8bfd | |
parent | disable oldnet hotplug after udev starts (diff) | |
download | udev-gentoo-scripts-da049625212109a1a6f16ba1f48c87d5f972f410.tar.gz udev-gentoo-scripts-da049625212109a1a6f16ba1f48c87d5f972f410.tar.bz2 udev-gentoo-scripts-da049625212109a1a6f16ba1f48c87d5f972f410.zip |
abort if the kernel version is too old
-rw-r--r-- | init.d/udev | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/init.d/udev b/init.d/udev index d2dd746..9e8ff76 100644 --- a/init.d/udev +++ b/init.d/udev @@ -69,6 +69,7 @@ check_kernel() start_pre() { + check_kernel || return 1 if [ -e /proc/sys/kernel/hotplug ]; then echo "" >/proc/sys/kernel/hotplug fi |