diff options
author | Fabian Homborg <FHomborg@gmail.com> | 2015-09-28 20:06:20 +0200 |
---|---|---|
committer | Fabian Homborg <FHomborg@gmail.com> | 2015-09-28 20:06:20 +0200 |
commit | b9b39f7c31d2514788f7b3bbacb966ad15578b5e (patch) | |
tree | 4a41038fe65b43be9d732e3e9b65dd5a7a432b20 /build_tools | |
parent | 37f4cbe3d7af077cd733a96529952814b506d82e (diff) |
Replace `sed -E` with `string replace`
This is to the benefit of systems with ancient GNU sed, which does not
recognize "-E", but only "-r".
Fixes #2305 - even if it doesn't replace all `sed -E` invocations in the
codebase, the others are unlikely to occur on CentOS and other similarly
crusty systems.
Diffstat (limited to 'build_tools')
0 files changed, 0 insertions, 0 deletions