From b3dbcf556699a42fa74b2b36e4d0be9a1f203e09 Mon Sep 17 00:00:00 2001
From: Armin Luntzer <armin.luntzer@univie.ac.at>
Date: Wed, 23 Sep 2020 11:58:53 +0200
Subject: [PATCH] warn if modules are enabled and embedded image creation is
 enabled, non are built or no path to an embeddable application is specified

---
 scripts/link-leanos.sh | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/scripts/link-leanos.sh b/scripts/link-leanos.sh
index b497a25..5e818b2 100755
--- a/scripts/link-leanos.sh
+++ b/scripts/link-leanos.sh
@@ -288,14 +288,14 @@ fi
 # this is a 3rd pass option, we need modules.order beforehand
 if [ "$1" = "embed" ]; then
 
-#	if [ ! -s ${srctree}/modules.order ]; then
-#		echo >&2
-#		echo >&2 modules.order empty or nonexistant, cannot embed image.
-#		echo >&2 Maybe you have no loadable modules configured?
-#		echo >&2 Kernel image unchanged.
-#		echo >&2
-#		exit
-#	fi
+	if [ ! -s ${srctree}/modules.order ] || [! -s ${CONFIG_EMBED_APPLICATION} ]; then
+		echo >&2
+		echo >&2 modules.order or application path empty or nonexistant, cannot embed image.
+		echo >&2 Maybe you have no loadable modules configured or no executable path specified?
+		echo >&2 Kernel image unchanged.
+		echo >&2
+		exit
+	fi
 
 	if [ -n "${CONFIG_TARGET_COMPILER_BOOT_CODE}" ]; then
 		embedflags="-Wl,--format=binary -Wl,modules.image -Wl,--format=default"
-- 
GitLab