# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1324349965 21600
# Node ID d97db0ec50fe78f03c918c61c103160a0fd16e6f
# Parent  a584fb1535931be1b7bed3857168d8fa11467d92
If host kernel hasn't got devtmpfs, call mdev -s.  (Mostly for chroot-setup.sh.)

diff -r a584fb153593 -r d97db0ec50fe sources/root-filesystem/sbin/init.sh
--- a/sources/root-filesystem/sbin/init.sh	Sun Dec 18 13:34:35 2011 -0600
+++ b/sources/root-filesystem/sbin/init.sh	Mon Dec 19 20:59:25 2011 -0600
@@ -5,7 +5,7 @@
 # Populate /dev
 mountpoint -q proc || mount -t proc proc proc
 mountpoint -q sys || mount -t sysfs sys sys
-mountpoint -q dev || mount -t devtmpfs dev dev
+mountpoint -q dev || mount -t devtmpfs dev dev || mdev -s
 mkdir -p dev/pts
 mountpoint -q dev/pts || mount -t devpts dev/pts dev/pts