run scripts not working

Nobody III hungryninja101 at ...9...
Tue Apr 28 06:37:21 CEST 2015

I updated to the latest git version of Genode, then tried to build the demo
scenario. Unfortunately, it doesn't run on any of the kernels I've tried.
Here is the make output relevant to the error:

make[1]: Leaving directory '/home/kingtux/genode/build/nova_x86_64'
genode build completed
wrong # args: should be "run_boot_dir"
    while executing
"run_boot_dir $binaries"
    (procedure "build_boot_image" line 2)
    invoked from within
"build_boot_image $boot_modules"
    (file "/home/kingtux/genode/repos/os/run/" line 221)
    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 "/home/kingtux/genode/tool/run/run" line 630)
Makefile:231: recipe for target 'run/demo' failed
make: *** [run/demo] Error 1

What's wrong and how can I fix it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list