aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Yao <ryao@cs.stonybrook.edu>2012-07-17 16:22:40 -0400
committerRichard Yao <ryao@cs.stonybrook.edu>2012-07-17 16:22:40 -0400
commitb8626e78ef1e534ee95a058d2a2b8f530d432aad (patch)
tree14a66ad25b6383f4c70ae260829d0e8732d9c53d
parentVerify in /proc/mounts that devtmpfs is unmounted before mounting it (diff)
downloadgenkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.tar.gz
genkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.tar.bz2
genkernel-b8626e78ef1e534ee95a058d2a2b8f530d432aad.zip
Fix typo in previous commit.
-rwxr-xr-xdefaults/initrd.scripts4
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