make run/printf in the 14.05 version

[Bob Stewart]

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20140530/32594380/attachment.html>