diff options
Diffstat (limited to 'tools/check/check_hotplug')
| -rw-r--r-- | tools/check/check_hotplug | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check/check_hotplug b/tools/check/check_hotplug index aaedb767bf..999c7d8e2e 100644 --- a/tools/check/check_hotplug +++ b/tools/check/check_hotplug @@ -7,7 +7,7 @@ function error { exit 1 } [ -x "$(which udevinfo)" ] && \ - UDEV_VERSION=$(udevinfo -V | sed -e 's/^.*\s\([0-9]\+\)[^0-9]*/\1/') + UDEV_VERSION=$(udevinfo -V | sed -e 's/^[^0-9]* \([0-9]\{1,\}\)[^0-9]\{0,\}/\1/') if [ -n "$UDEV_VERSION" ] && [ $UDEV_VERSION -ge 059 ]; then exit 0 |