21 Jun
2021
21 Jun
'21
11:13 a.m.
On 19/06/2021 15:17, Ramana Kumar wrote:
I think the C code replacing the ML code for Unix.execute does not quite do what the ML code used to. Specifically the execve call here https://github.com/polyml/polyml/blob/master/libpolyml/unix_specific.cpp#L20... does not pass the cmd as the first argument, whereas the ML version did. This is a user-visible change in the API that was probably unintended.
Wasn't this fixed in b3855a5 ? That fix is included in the fixes-5.8.2 branch.
David