direct-io.hg

changeset 12452:85f331c7af76

[TOOLS] Rename chekc_hotplug to check_udev and fix permissions.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Wed Nov 15 14:59:57 2006 +0000 (2006-11-15)
parents 11a93cc59159
children bda05853cf21
files tools/check/check_hotplug tools/check/check_udev
line diff
     1.1 --- a/tools/check/check_hotplug	Wed Nov 15 14:36:10 2006 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,16 +0,0 @@
     1.4 -#!/bin/bash
     1.5 -# CHECK-INSTALL
     1.6 -
     1.7 -function error {
     1.8 -   echo
     1.9 -   echo '  *** Check for the hotplug scripts (hotplug) FAILED'
    1.10 -   exit 1
    1.11 -}
    1.12 -[ -x "$(which udevinfo)" ] && \
    1.13 -  UDEV_VERSION=$(udevinfo -V | sed -e 's/^[^0-9]* \([0-9]\{1,\}\)[^0-9]\{0,\}/\1/')
    1.14 -
    1.15 -if [ -n "$UDEV_VERSION" ] && [ $UDEV_VERSION -ge 059 ]; then
    1.16 -  exit 0
    1.17 -fi
    1.18 -
    1.19 -which hotplug 1>/dev/null 2>&1 || error
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/tools/check/check_udev	Wed Nov 15 14:59:57 2006 +0000
     2.3 @@ -0,0 +1,16 @@
     2.4 +#!/bin/bash
     2.5 +# CHECK-INSTALL
     2.6 +
     2.7 +function error {
     2.8 +   echo
     2.9 +   echo '  *** Check for udev/hotplug FAILED'
    2.10 +   exit 1
    2.11 +}
    2.12 +[ -x "$(which udevinfo)" ] && \
    2.13 +  UDEV_VERSION=$(udevinfo -V | sed -e 's/^[^0-9]* \([0-9]\{1,\}\)[^0-9]\{0,\}/\1/')
    2.14 +
    2.15 +if [ -n "$UDEV_VERSION" ] && [ $UDEV_VERSION -ge 059 ]; then
    2.16 +  exit 0
    2.17 +fi
    2.18 +
    2.19 +which hotplug 1>/dev/null 2>&1 || error