Norman,
The following is the VERBOSE output {note the two --include lines):

/Work/Genode/Builds/14.05/base-hw$ make run/printf VERBOSE=
test -f "/Work/Genode/genode-14.05/repos/base/run/printf.run" || (echo "Error: No run script for printf"; exit -1)
/Work/Genode/genode-14.05/tool/run --genode-dir /Work/Genode/genode-14.05 \
                                     --name printf \
                                     --specs "genode hw_bbb" \
                                     --repositories "/Work/Genode/genode-14.05/repos/base /Work/Genode/genode-14.05/repos/os /Work/Genode/genode-14.05/repos/demo /Work/Genode/genode-14.05/repos/libports /Work/Genode/genode-14.05/repos/dde_linux" \
                                     --cross-dev-prefix "" \
                                     --qemu-args "" \
                                     --include   \
                                     --include /Work/Genode/genode-14.05/repos/base/run/printf.run
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

My own project run script fails to build in the same manner while it happily builds in 14.02.

On 14.02, run/printf builds ok as the the following VERBOSE output shows with two complete --include lines:

make run/printf VERBOSE=
test -f "/Work/Genode/genode-14.02/base/run/printf.run" || (echo "Error: No run script for printf"; exit -1)
/Work/Genode/genode-14.02/tool/run --genode-dir /Work/Genode/genode-14.02 \
                                     --name printf \
                                     --specs "genode hw_bbb hw platform_bbb cortex_a8 omap3 am33xx tl16c750 gpio bbb pwm arm_v7a arm_v7 arm 32bit" \
                                     --repositories "/Work/Genode/genode-14.02/base-hw /Work/Genode/genode-14.02/base /Work/Genode/genode-14.02/os /Work/Genode/genode-14.02/demo /Work/Genode/genode-14.02/libports /Work/Genode/genode-14.02/dde_linux" \
                                     --cross-dev-prefix "/usr/local/genode-gcc/bin/genode-arm-" \
                                     --qemu-args "" \
                                     --include /Work/Genode/genode-14.02/base-hw/run/env  \
                                     --include /Work/Genode/genode-14.02/base/run/printf.run
using run script /Work/Genode/genode-14.02/base-hw/run/env
using run script /Work/Genode/genode-14.02/base/run/printf.run
spawn make core init test/printf
make[1]: Entering directory `/Work/Genode/Builds/14.02/base-hw'
checking library dependencies...
.
.
.

Thanks,
        Bob


On 05/30/2014 06:07 PM, Norman Feske wrote:
Hi Bob,


The platform is base-hw. The toolchain hasn't changed in this release?

I cannot reproduce the problem for base-hw (using hw_pbxa9) either,
unfortunately. The tool chain has not changed. So the problem must lie
somewhere else.

Could you please post the output when activating the verbose output as
follows:

  make run/printf VERBOSE=

Also, it would possibly help me to know which Linux distribution and
version you are using.

Furthermore, could you please double-check that the problem does not
occur with Genode 14.02 on the same Linux installation?

Thank you
Norman