diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2023-01-29 12:08:16 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2023-01-29 12:08:19 -0700 |
| commit | 33f5cc09441c029be78bd3e1b81842fb3a2b2f71 (patch) | |
| tree | 5b654d3b727a350f8a82eadfb0ba419971b388c5 /lib-src | |
| parent | b73824921864710cc5ecbaa278cbdf1032a06958 (diff) | |
| download | dotfiles-33f5cc09441c029be78bd3e1b81842fb3a2b2f71.tar.gz | |
globs2ere.awk: attempt to fix ambiguity in regexp
Diffstat (limited to 'lib-src')
| -rw-r--r-- | lib-src/globs2ere.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib-src/globs2ere.awk b/lib-src/globs2ere.awk index a7038800..064a2c41 100644 --- a/lib-src/globs2ere.awk +++ b/lib-src/globs2ere.awk @@ -71,7 +71,7 @@ length { # In an ERE, we can use a backslash to escape any character. # However, it is good to avoid generating longer EREs than are necessary. # We do escape forward slashes, for ease of use with awk. -function escaped (c) { res[++rl] = c ~ /[[.(*+?{|^$\/\\]/ ? "\\" c : c } +function escaped (c) { res[++rl] = c ~ /[[(.*+?{|^$\/\\]/ ? "\\" c : c } END { if (j) { |