On Fri, Aug 31, 2018 at 10:00 AM, Arnon Warshavsky wrote:
> On Thu, Aug 30, 2018 at 4:00 PM, Andrzej Ostruszka wrote:
>
>> On some systems /bin/sh does not support '-d' option of 'read'.
>> So instead of /bin/sh use /bin/bash.
>>
>> Fixes: 7413e7f2aeb3 ("devtools: alert on new calls to exit from
On Thu, Aug 30, 2018 at 4:00 PM, Andrzej Ostruszka wrote:
> On some systems /bin/sh does not support '-d' option of 'read'.
> So instead of /bin/sh use /bin/bash.
>
> Fixes: 7413e7f2aeb3 ("devtools: alert on new calls to exit from libs")
> Cc: ar...@qwilt.com
> Signed-off-by: Andrzej Ostruszka
>
2 matches
Mail list logo