From a7def21edc591fe07c61dd6d3bb920792a5db475 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Sun, 11 Aug 2013 11:14:04 +0200 Subject: [PATCH] linuxrc: drop another /dev (tty1) pointless check --- defaults/linuxrc | 5 ----- 1 file changed, 5 deletions(-) diff --git a/defaults/linuxrc b/defaults/linuxrc index 3a0b527..2e23f98 100644 --- a/defaults/linuxrc +++ b/defaults/linuxrc @@ -326,11 +326,6 @@ cd "${CHROOT}" move_mounts_to_chroot -if [ -e /etc/initrd.splash -a ! -e "${CHROOT}/dev/tty1" ] -then - bad_msg "ERROR: your real /dev is missing tty1, required for splash" -fi - # Run debug shell if requested rundebugshell "before entering switch_root"