From d6b3c757d09700e1117e4167853af5dad719e535 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 12 Jul 2022 15:43:39 +0200
Subject: [PATCH] test: ignore OpenBSD's "Terminated" messages

For #501.

* tests/core/autcross4.test: Here.
---
 tests/core/autcross4.test | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tests/core/autcross4.test b/tests/core/autcross4.test
index 9e0d68638..13f770d1c 100755
--- a/tests/core/autcross4.test
+++ b/tests/core/autcross4.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2018, 2019 Laboratoire de Recherche et Développement de
+# Copyright (C) 2018, 2019, 2022 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -85,7 +85,9 @@ autcross -T3 -q --language-preserved --ignore-execution-failures \
          --fail-on-timeout \
          'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
 cat err
-test 4 = `wc -l <err`
+# OpenBSD prints "Terminated" when the shell running the command is
+# killed.  See issue #501.
+test 4 = `grep -v Terminated err | wc -l`
 test 1 = `wc -l < out.csv`
 
 autcross - 2> err && exit 1