diff --git a/base-hw/run/env b/base-hw/run/env index 821cf42f7..678745952 100644 --- a/base-hw/run/env +++ b/base-hw/run/env @@ -208,7 +208,7 @@ proc run_genode_until {{wait_for_re forever} {timeout_value 0}} { if {[target] == "qemu"} { spawn_qemu $wait_for_re $timeout_value } else { - puts stderr "Error: Can't execute automatically on target '$target'" + puts stderr "Error: Can't execute automatically on target '[target]'" puts stderr " Target might be: 'qemu'" exit -1 }