From b43f378db5d7a5c4928629868f8ad568e9a2a0de Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 23 Sep 2020 11:31:45 +0200
Subject: [PATCH] tests: fix non-portable use of sed

Fixes #428, reported by Etienne Renault.

* tests/core/genltl.test: Do use \? with sed.
---
 tests/core/genltl.test | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tests/core/genltl.test b/tests/core/genltl.test
index 271820d8d..ef596e842 100755
--- a/tests/core/genltl.test
+++ b/tests/core/genltl.test
@@ -24,8 +24,10 @@ set -e
 # Make sure the name of each pattern is correctly output by %F.
 opts=`genltl --help | sed -n '/=RANGE/{
 s/^ *//
-s/=RANGE\[\?,RANGE.*/=1,1/p
-s/\[\?=RANGE.*/=1/p
+s/=RANGE\[,RANGE.*/=1,1/p
+s/=RANGE,RANGE.*/=1,1/p
+s/\[=RANGE.*/=1/p
+s/=RANGE.*/=1/p
 }'`
 res=`genltl $opts --format="--%F=%L"`
 test "$opts" = "$res"