On 8/5/2018 10:38 AM, Thomas Monjalon wrote:
> The script check-symbol-change.sh was not running when
> /bin/sh redirects to dash.
>
> Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition")
> Cc: [email protected]
>
> Reported-by: Stephen Hemminger <[email protected]>
> Signed-off-by: Thomas Monjalon <[email protected]>Tested-by: Ferruh Yigit <[email protected]>
