configure: Avoid use of nonstandard features of sed
authorMark Thompson <sw@jkqxz.net>
Sun, 2 Dec 2018 23:31:50 +0000 (23:31 +0000)
committerMark Thompson <sw@jkqxz.net>
Sun, 2 Dec 2018 23:31:50 +0000 (23:31 +0000)
commit2f6b1806ce2bc007a3a3596680a9f8089fb78145
treee16c7aa99554ebd8ba7acdf7d0ed6fd8d2a68f9a
parent5d8df52c45b2b17e3b2e2b04640d580ea39707f1
configure: Avoid use of nonstandard features of sed

Standard sed does not support EREs.

Fixes #7310.
configure