From 67241b9626a4d89a8389135caf1330bc7a390081 Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Wed, 6 Mar 2019 16:25:42 +0000
Subject: [PATCH] Handle cases where binfmt_misc is built into the kernel

Fixes #264
---
 scripts/dependencies_check | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/dependencies_check b/scripts/dependencies_check
index 9b7725eb05..375512b751 100644
--- a/scripts/dependencies_check
+++ b/scripts/dependencies_check
@@ -29,8 +29,7 @@ dependencies_check()
 	fi
 
 
-	if ! lsmod | grep binfmt_misc >/dev/null
-	then
+	if ! grep -q "/proc/sys/fs/binfmt_misc" /proc/mounts; then
 		echo "Module binfmt_misc not loaded in host"
 		echo "Please run:"
 		echo "  sudo modprobe binfmt_misc"