diff --git a/tools/check/check_hotplug b/tools/check/check_udev
old mode 100644
new mode 100755
similarity index 82%
rename from tools/check/check_hotplug
rename to tools/check/check_udev
index 999c7d8e2e..2dd226ac46
--- a/tools/check/check_hotplug
+++ b/tools/check/check_udev
@@ -3,7 +3,7 @@
 
 function error {
    echo
-   echo '  *** Check for the hotplug scripts (hotplug) FAILED'
+   echo '  *** Check for udev/hotplug FAILED'
    exit 1
 }
 [ -x "$(which udevinfo)" ] && \