Hi John,
>> "command" is an bash built-in command and can't be executed by
>> Tcl/Expect directly. With the following small change to the line above
>> your second patch is unnecessary.
>>
>> if { [catch {set path [exec bash -c "command -v $command"]}] == 0} {
>
> That solved it. I knew it was a silly problem. :^)
could you please give commit [1] a try? The solution is a little bit leaner.
[1]
https://github.com/nfeske/genode/commit/b5a604f2463862acc0766090e66e04580fad5fbf
Cheers
Norman
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
