From ec9c5556d9b4c18dbd3917b44a3a3e5c94670b5e Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 3 Sep 2022 09:11:20 +0200 Subject: tests: ignore messages from the JVM Reported by Giorgos Pap. * examples/test: Discard "Picked up _JAVA_OPTIONS:" messages. --- THANKS | 1 + examples/test | 9 ++++++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/THANKS b/THANKS index 52092368..d9159fa5 100644 --- a/THANKS +++ b/THANKS @@ -82,6 +82,7 @@ Gavin Smith gavinsmith0123@gmail.com Georg Sauthoff gsauthof@TechFak.Uni-Bielefeld.DE George Neuner gneuner2@comcast.net Gilles Espinasse g.esp@free.fr +Giorgos Pap giorgos551pap@gmail.com Goran Uddeborg goeran@uddeborg.se Guido Trentalancia trentalg@aston.ac.uk H. Merijn Brand h.m.brand@hccnet.nl diff --git a/examples/test b/examples/test index 45a5d454..738dcae4 100755 --- a/examples/test +++ b/examples/test @@ -137,10 +137,13 @@ run () else cat out_eff fi + # Ignore informational messages from the JVM. if ! $noerr; then - sed -e 's/^/err: /g' \ - -e 's/Reducing stack by rule .* (line .*):/Reducing stack by rule XX (line XXX):/g' \ - err_eff + sed \ + -e '/^Picked up _JAVA_OPTIONS: /d' \ + -e 's/Reducing stack by rule .* (line .*):/Reducing stack by rule XX (line XXX):/g' \ + -e 's/^/err: /g' \ + err_eff fi } >eff -- cgit v1.2.1