On Fri, Aug 31, 2018 at 10:00 AM, Arnon Warshavsky <[email protected]> wrote: > On Thu, Aug 30, 2018 at 4:00 PM, Andrzej Ostruszka <[email protected]> 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: [email protected] >> Signed-off-by: Andrzej Ostruszka <[email protected]> >> --- >> 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 <[email protected]>
Tested on Ubuntu 18.04, thanks. Tested-by: David Marchand <[email protected]> -- David Marchand
