On 26 January 2011 13:37, Fabien Chouteau <chout...@adacore.com> wrote:
> +echo " Available backends:"
> $($source_path/scripts/tracetool --list-backends)
Not enough quoting -- this will break if $source_path has a space in it.
Try:
echo " Available backends:
$("$source_path"/scripts/tracetool --list-backends)"
-- PMM
