> -----Original Message----- > From: dev [mailto:[email protected]] On Behalf Of Stephen Hemminger > Sent: Tuesday, July 31, 2018 4:14 PM > To: [email protected] > Cc: [email protected]; Stephen Hemminger <[email protected]> > 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 --
