Commit 5c37b6406258ec0d7ab64b8619c5ea2c19e3c69a

Alexei Podtelezhnikov 2023-03-02T20:53:21

* configure: Use `sed` instead of `grep`. This is more portable and consistent with `autogen.sh`.