genode build completed

checking configuration syntax

can't read "init_xsd_file": no such variable

    while executing

"check_config init [run_dir]/genode/config $init_xsd_file init $xsd_files $xsd_inc 0"

    (procedure "build_boot_image" line 32)

    invoked from within

"build_boot_image $boot_modules"

    (file "/genode.08/repos/ports/run/gdb_monitor_interactive.run" line 93)

    invoked from within

"source $include_name"

    ("foreach" body line 6)

    invoked from within

"foreach include_name [get_cmd_arg --include ""] {

        # first check if the include name is absolute

        if {[string first "/" $include_name] == 0} {

                puts ..."

    (file "genode/tool/run/run" line 1006)

Makefile:323: recipe for target 'run/gdb_monitor_interactive' failed

make: *** [run/gdb_monitor_interactive] Error 1

I check availability of file, it is accessible (at least less can open it from guest VM where I run script)

# determine which XSD file to use for the init config
	foreach xsd_file $xsd_files {
	set filename [file tail $xsd_file]
	if {$filename == "init.xsd"} {
	set init_xsd_file $xsd_file
	}
	}