diff options
Diffstat (limited to 'recipes/udev/udev-141/init')
-rw-r--r-- | recipes/udev/udev-141/init | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/recipes/udev/udev-141/init b/recipes/udev/udev-141/init index 4dcb241a28..c0ecdfc50b 100644 --- a/recipes/udev/udev-141/init +++ b/recipes/udev/udev-141/init @@ -39,10 +39,12 @@ if [ "$DEVCACHE" != "" ]; then # Invalidate udev cache if the kernel or its bootargs/cmdline have changed [ -x /bin/uname ] && /bin/uname -mrspv > /tmp/uname || touch /tmp/uname [ -r /proc/cmdline ] && cat /proc/cmdline > /tmp/cmdline || touch /tmp/cmdline + [ -r /proc/devices ] && cat /proc/devices > /tmp/devices || touch /tmp/devices [ -r /proc/atags ] && cat /proc/atags > /tmp/atags || touch /tmp/atags if [ -e $DEVCACHE ] && \ cmp -s /tmp/uname /etc/udev/saved.uname && \ cmp -s /tmp/cmdline /etc/udev/saved.cmdline && \ + cmp -s /tmp/devices /etc/udev/saved.devices && \ cmp -s /tmp/atags /etc/udev/saved.atags; then (cd /; tar xf $DEVCACHE > /dev/null 2>&1) not_first_boot=1 |