Hi Bob,
I'm wondering, which platform have you specified to the create_builddir
tool? I just created fresh build directories for 'linux_x86' and
'nova_x86_32' and both worked fine when executing 'make run/printf'.
Cheers
Norman
On 05/30/2014 09:11 PM, Bob Stewart wrote:
> 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.
--
Dr.-Ing. Norman Feske
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
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
