Xavier Delaruelle 37b46a3778 init: use 'sed -r' if 'sed -E' not supported ...

`-E` option is a *relatively* recent option of GNU sed (v4.2), yet
mandatory for OS portability (as detailled in b68e44e).

Adapt configure step to detect if sed option `-E` is supported and
fallback to `-r` otherwise.

Fixes #317

2020-02-22 13:04:04 +01:00

..

_module.in

init: use 'sed -r' if 'sed -E' not supported

2020-02-22 13:04:04 +01:00