I just cloned the 14.05 version and did a create_builddir. From the created build directory I did a basic "make run/printf". That immediately gave me the following error:
*using run script --include**
**couldn't read file "--include": no such file or directory**
**    while executing**
**"source $include_name"**
**    ("foreach" body line 3)**
**    invoked from within**
**"foreach include_name [get_cmd_arg --include ""] {**
**    puts "using run script $include_name"**
**    source $include_name**
**}"**
**    (file "/Work/Genode/genode-14.05/tool/run" line 850)**
**make: *** [run/printf] Error 1*

I had no command line parameters other than the  make run...

What have I missed?

Thanks,
        Bob.

------------------------------------------------------------------------------
Time is money. Stop wasting it! Get your web API in 5 minutes.
www.restlet.com/download
http://p.sf.net/sfu/restlet
_______________________________________________
Genode-main mailing list
Genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to