From 8cd6e1c6d2d4ed1d77cc1390d484b2d3a9bc352e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 12 Oct 2012 10:13:29 +0200
Subject: [PATCH] * src/tgbatest/kv.test: Rewrite the sed command more
 portably.

---
 src/tgbatest/kv.test | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/tgbatest/kv.test b/src/tgbatest/kv.test
index 719d4e0dc..413c07f04 100755
--- a/src/tgbatest/kv.test
+++ b/src/tgbatest/kv.test
@@ -50,5 +50,8 @@ check '"G1"U"GG" && "FF"'
 
 ../ltl2tgba -KV -R3 -RIS >out \
 'G("P_1.p2" <-> (F"P_1.p3" & ("P_0.p3" | (X"P_1.CS" U "P_1.p2")))) U G"P_1.p2"'
-x=`sed -n '/APre/{s/.*APrec=\[\([^]]*\)\].*/\1/p;q}' out | tr ' ' '\n' | wc -l`
+x=`sed -n '/APrec/{
+  s/.*APrec=\[\([^]]*\)\].*/\1/p
+  q
+}' out | tr ' ' '\n' | wc -l`
 test "$x" = 4