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: nhor...@tuxdriver.com
>
> Reported-by: Stephen Hemminger <step...@networkplumber.org>
> Signed-off-by: Thomas Monjalon <tho...@monjalon.net>Tested-by: Ferruh Yigit <ferruh.yi...@intel.com>
