On Fri, Aug 31, 2018 at 10:00 AM, Arnon Warshavsky <ar...@qwilt.com> wrote:
> On Thu, Aug 30, 2018 at 4:00 PM, Andrzej Ostruszka <a...@semihalf.com> 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 <a...@semihalf.com>
>> ---
>> devtools/checkpatches.sh | 2 +-
>> 1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/devtools/checkpatches.sh b/devtools/checkpatches.sh
>> index ba795ad..db7afc4 100755
>> --- a/devtools/checkpatches.sh
>> +++ b/devtools/checkpatches.sh
>> @@ -1,4 +1,4 @@
>> -#! /bin/sh
>> +#! /bin/bash
>> # SPDX-License-Identifier: BSD-3-Clause
>> # Copyright 2015 6WIND S.A.
>>
>> --
>> 2.7.4
>>
>>
>
> Acked-By: Arnon Warshavsky <ar...@qwilt.com>
Tested on Ubuntu 18.04, thanks.
Tested-by: David Marchand <david.march...@6wind.com>
--
David Marchand
