diff options
| author | Tom de Vries <tdevries@suse.de> | 2024-10-08 08:24:13 +0200 |
|---|---|---|
| committer | Tom de Vries <tdevries@suse.de> | 2024-10-08 08:24:13 +0200 |
| commit | 99fd53b19dddeb232e169cc5a3918a2adf7d3da2 (patch) | |
| tree | 865a3b2116b971868b10ac9e19dff5f75b720c7d /gdb/source-cache.c | |
| parent | 124deb310116982fbd921ab1dc83fa75a8252391 (diff) | |
| download | gdb-99fd53b19dddeb232e169cc5a3918a2adf7d3da2.zip gdb-99fd53b19dddeb232e169cc5a3918a2adf7d3da2.tar.gz gdb-99fd53b19dddeb232e169cc5a3918a2adf7d3da2.tar.bz2 | |
[gdb/contrib] Factor out grep_or and sed_or in spellcheck.sh
While trying to add more separators here:
...
# Separators: space, slash, tab.
grep_separator=" |/| "
sed_separator=" \|/\|\t"
...
I mistakingly used "|" instead of "\|" in sed_separator.
Factor out new variables grep_or and sed_or, and construct the grep_separator
and sed_separator variables by joining the elements of a list using grep_or
and sed_or.
Verified with shellcheck, and tested by rerunning on x86_64-linux.
Reviewed-By: Alexandra Petlanova Hajkova <ahajkova@redhat.com>
Diffstat (limited to 'gdb/source-cache.c')
0 files changed, 0 insertions, 0 deletions