> -----Original Message----- > From: dev [mailto:dev-boun...@dpdk.org] On Behalf Of Stephen Hemminger > Sent: Tuesday, July 31, 2018 4:14 PM > To: nhor...@tuxdriver.com > Cc: dev@dpdk.org; Stephen Hemminger <step...@networkplumber.org> > Subject: [dpdk-dev] [PATCH] devtools: check_symbol_change requires bash > > The syntax of check_symbol_change uses some bash syntax. > It does not run correctly on Debian where /bin/sh is not the same as > /bin/bash.
I think this fix may be required for devtools/checkpatches.sh as well since it seems to use bash specific call to trap(). I saw this in an internal bug report but didn't have a system to check the fix on. Could you do a quick check. John --
