summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--init2
1 files changed, 1 insertions, 1 deletions
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."