From 507a7789fb56b7990a3cf7d1e5796e62a1e3dba8 Mon Sep 17 00:00:00 2001
From: Tomasz Gajewski <tomga@wp.pl>
Date: Wed, 14 Apr 2021 10:08:57 +0200
Subject: [PATCH] tool/run: avoid error if init.xsd is missing

Issue #4073
---
 tool/run/run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/run/run b/tool/run/run
index 5853bc9827..908255c97a 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -241,6 +241,7 @@ proc build_boot_image {binaries} {
 		}
 	}
 	# determine which XSD file to use for the init config
+	set init_xsd_file ""
 	foreach xsd_file $xsd_files {
 		set filename [file tail $xsd_file]
 		if {$filename == "init.xsd"} {