From 8d296c6c778ce84fa03ae7784272019840fac408 Mon Sep 17 00:00:00 2001
From: Thomas Bächler <thomas@archlinux.org>
Date: Wed, 17 Feb 2010 01:41:51 +0100
Subject: Improve sanity check: ${init} must be executable

---
 init | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'init')

diff --git a/init b/init
index 3dbe916..19722e4 100644
--- a/init
+++ b/init
@@ -118,7 +118,7 @@ if [ "$(stat -c %D /)" = "$(stat -c %D /new_root)" ]; then
     echo "Bailing out, you are on your own. Good luck."
     echo
     launch_interactive_shell --exec
-elif [ ! -f "/new_root${init}" ]; then
+elif [ ! -x "/new_root${init}" ]; then
     # Successfully mounted /new_root, but ${init} is missing
     # The same logic as above applies
     err "Root device mounted successfully, but ${init} does not exist."
-- 
cgit v1.2.3-24-g4f1b