Re: [PATCH v4] gdb, configure: Add disable-formats option for configure

Andreas Schwab
2025-04-08T14:07:13Z

On Apr 08 2025, Guinevere Larsen wrote:

> + if ! echo "$enable_binary_file_formats" | grep -wq "$req"; then

grep -w is not portable.

You can use case ,$enable_binary_file_formats, in *[ ,]$req[ ,]*) ... to
make it portable.

--
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."