Re: [dpdk-dev] [PATCH] devtools: fix symbol check for dash

[Neil Horman]

On Thu, Aug 09, 2018 at 01:14:23PM +0100, Ferruh Yigit wrote:
> 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>
> 
Acked-by: Neil Horman <nhor...@tuxdriver.com>