[dpdk-dev] [dpdk-stable] [PATCH] devtools: trap SIGINT is not recognizable to dash

[Thomas Monjalon]

> > When running checkpatch.sh, it generates the following error on some linux
> > distributions(like Debian) with Dash as the default shell interpreter.
> > trap: SIGINT: bad trap
> > 
> > The fix is to replace SIGINT with INT signal, it works for both bash and
> > dash.
> > 
> > Fixes: 4bec48184e ("devtools: add checks for ABI symbol addition")
> > Cc: stable at dpdk.org
> > 
> > Signed-off-by: Gavin Hu <gavin.hu at arm.com>
> > Reviewed-by: Honnappa Nagarahalli <honnappa.nagarahalli at amr.com>
> 
> Acked-by: John McNamara <john.mcnamara at intel.com>

Applied, thanks