On Fri, 16 Nov 2018 22:36:16 +0100
Carl Eugen Hoyos wrote:
> 2018-11-15 15:00 GMT+01:00, Lauri Kasanen :
> > Old versions of sed do not support the -E option.
>
> > -VERSION_SCRIPT_POSTPROCESS_CMD='tr " " "\n" | sed -n
> > /global:/,/local:/p | grep ";" | tr ";" "\n" | sed -E
2018-11-15 15:00 GMT+01:00, Lauri Kasanen :
> Old versions of sed do not support the -E option.
> -VERSION_SCRIPT_POSTPROCESS_CMD='tr " " "\n" | sed -n
> /global:/,/local:/p | grep ";" | tr ";" "\n" | sed -E "s/(.+)/_\1/g" | sed
> -E "s/(.+[^*])/\1*/"'
> +
Old versions of sed do not support the -E option.
Signed-off-by: Lauri Kasanen
---
configure | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/configure b/configure
index b02b4cc..51f1227 100755
--- a/configure
+++ b/configure
@@ -3722,7 +3722,7 @@ find_things_extern(){
