On Sun, Mar 9, 2008 at 11:17:42 +0100, Sebastian Harl wrote: > > + if [ -x /etc/init.d/udev ] && [ -n "$udev_pid" ]; then > > + if [ "$(stat -c %d/%i /)" = "$(stat -Lc %d/%i /proc/$udev_pid/root > > 2>/dev/null)" ]; > > The builtin stat shipped with zsh does not seem to recognize the "-c" > option. So, we should use "/usr/bin/stat" here to catch the (unlikely) > case that anybody uses zsh (or possible other "incompatible" shells) as > /bin/sh.
If anyone uses zsh as /bin/sh, they deserve the breakage... Cheers, Julien -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
