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.