make run/printf in the 14.05 version

[Norman Feske]

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