On Mon, Jul 22, 2024 at 03:18:07AM -0400, Eric Sunshine wrote: > I posted a series[2] which addresses this shortcoming by enhancing > check-non-portable-shell.pl. I tested this series with them, and it correctly detects the error. Thanks for sending the improvement so quick!