diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-14 00:10:45 -0500 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-14 00:12:20 -0500 |
| commit | 05967faf0e3df6aad07f0b05e138e86f82363deb (patch) | |
| tree | ba5c4569fc54bcdc1f42cfce4223122679ec8060 /manual | |
| parent | 2d7ed98add14f75041499ac189696c9bd3d757fe (diff) | |
| download | glibc-05967faf0e3df6aad07f0b05e138e86f82363deb.tar glibc-05967faf0e3df6aad07f0b05e138e86f82363deb.tar.gz glibc-05967faf0e3df6aad07f0b05e138e86f82363deb.tar.bz2 glibc-05967faf0e3df6aad07f0b05e138e86f82363deb.zip | |
Fix BRE typos in check-safety.sh
* manual/check-safety.sh: Fix BRE portability typos.
POSIX says \] produces undefined results.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/check-safety.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/check-safety.sh b/manual/check-safety.sh index 21ddb3beb7..25f9fb5b11 100644 --- a/manual/check-safety.sh +++ b/manual/check-safety.sh @@ -109,15 +109,15 @@ success=false # optional comment about exclusions is between []s at the end of the # line. grep -n '^@c \+[^@ ]\+\( dup\)\?'\ -'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" | +'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*]\)\?$' "$@" | grep -v ':@c *[^@{}]*\( @mt[^ {}]*\)*'\ -'\( @as[^ {}]*\)*\( @ac[^ {}]*\)*\( \[.*\]\)\?$' && +'\( @as[^ {}]*\)*\( @ac[^ {}]*\)*\( \[.*]\)\?$' && success=false # Check that comments containing safety remarks do not contain # duplicate remarks. grep -n '^@c \+[^@ ]\+\( dup\)\?'\ -'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" | +'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*]\)\?$' "$@" | grep '[^:]\(@\(mt\|a[sc]\)[^ ]*\) \(.*[^:]\)\?\1\($\| \)' && success=false |