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

[Thomas Monjalon]

09/08/2018 17:14, 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: nhorman at tuxdriver.com
> > > 
> > > Reported-by: Stephen Hemminger <stephen at networkplumber.org>
> > > Signed-off-by: Thomas Monjalon <thomas at monjalon.net>
> > 
> > Tested-by: Ferruh Yigit <ferruh.yigit at intel.com>
> > 
> Acked-by: Neil Horman <nhorman at tuxdriver.com>

Applied