diff options
author | Alexey Neyman <stilor@att.net> | 2017-02-15 20:36:39 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-15 20:36:39 -0800 |
commit | 2f052394a5376fe90c240972e2cb8f8abcc7267c (patch) | |
tree | 49c67ed5fb9729ef554c3a07a916612af5139e24 /scripts/patch-renumber.sh | |
parent | fbc69323085e2370faeb8b46291cd66cbf9ef649 (diff) | |
parent | 7bcf18bfab84374d3305c7a088f95ac1219ddf93 (diff) | |
download | crosstool-ng-2f052394a5376fe90c240972e2cb8f8abcc7267c.tar.gz crosstool-ng-2f052394a5376fe90c240972e2cb8f8abcc7267c.tar.bz2 crosstool-ng-2f052394a5376fe90c240972e2cb8f8abcc7267c.zip |
Merge pull request #596 from stilor/sed-vs-gsed
Determine whether -E/-r option selects extended regexp
Diffstat (limited to 'scripts/patch-renumber.sh')
-rwxr-xr-x | scripts/patch-renumber.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/patch-renumber.sh b/scripts/patch-renumber.sh index c56473b4..5e8dbce7 100755 --- a/scripts/patch-renumber.sh +++ b/scripts/patch-renumber.sh @@ -59,7 +59,7 @@ for p in "${src}/"*.patch*; do newname="$(printf "%03d-%s" \ "${cpt}" \ "$( basename "${p}" \ - |"${sed}" -r -e 's/^[[:digit:]]+[-_]//' \ + |"${sed_r}" -e 's/^[[:digit:]]+[-_]//' \ -e "${sed_re}" \ )" \ )" |