diff options
author | Ben Hutchings <ben@decadent.org.uk> | 2015-12-22 04:40:14 +0000 |
---|---|---|
committer | Ben Hutchings <ben@decadent.org.uk> | 2015-12-22 04:40:17 +0000 |
commit | d136f22f527fbd10ff8bc787a62cf50aac6cce68 (patch) | |
tree | b2b6608a76f0e9655c091697740385aaabd9ba46 /scripts/local | |
parent | 88f7bb647cd9bc289ef6b62fcd62f70828142f9a (diff) |
scripts/local: Remove residual support for separate /etc filesystem
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Diffstat (limited to 'scripts/local')
-rw-r--r-- | scripts/local | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/local b/scripts/local index 0f1d5b9..7ae9117 100644 --- a/scripts/local +++ b/scripts/local @@ -91,9 +91,8 @@ local_device_setup() echo "Gave up waiting for $2 device. Common problems:" echo " - Boot args (cat /proc/cmdline)" echo " - Check rootdelay= (did the system wait long enough?)" - # Only applies to root= and etc=: - if [ "${2#/}" = "$2" ]; then - echo " - Check $2= (did the system wait for the right device?)" + if [ "$2" = root ]; then + echo " - Check root= (did the system wait for the right device?)" fi echo " - Missing modules (cat /proc/modules; ls /dev)" panic "ALERT! $1 does not exist. Dropping to a shell!" |