diff options
author | Richard Yao <ryao@cs.stonybrook.edu> | 2012-07-17 16:22:40 -0400 |
---|---|---|
committer | Richard Yao <ryao@cs.stonybrook.edu> | 2012-07-17 16:22:40 -0400 |
commit | b8626e78ef1e534ee95a058d2a2b8f530d432aad (patch) | |
tree | 14a66ad25b6383f4c70ae260829d0e8732d9c53d | |
parent | Verify in /proc/mounts that devtmpfs is unmounted before mounting it (diff) | |
download | genkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.tar.gz genkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.tar.bz2 genkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.zip |
Fix typo in previous commit.
-rwxr-xr-x | defaults/initrd.scripts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/defaults/initrd.scripts b/defaults/initrd.scripts index a2edeeec..46364def 100755 --- a/defaults/initrd.scripts +++ b/defaults/initrd.scripts @@ -307,13 +307,13 @@ mount_devfs () { fi # Options copied from /etc/init.d/udev-mount, should probably be kept in sync - if grep -qs grep '^devtmpfs' /proc/mounts; then + if grep -qs '^devtmpfs' /proc/mounts; then mount -t $devfs -o "exec,nosuid,mode=0755,size=10M" udev /dev \ || bad_msg "Failed to mount /dev as ${devfs}" fi # http://git.busybox.net/busybox/plain/docs/mdev.txt - if grep -qs grep '^devpts' /proc/mounts; then + if grep -qs '^devpts' /proc/mounts; then mkdir -m 0755 /dev/pts mount -t devpts -o gid=5,mode=0620 devpts /dev/pts || bad_msg "Failed to mount /dev/pts" fi |