summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2022-09-03 09:11:20 +0200
committerAkim Demaille <akim.demaille@gmail.com>2022-09-03 09:13:48 +0200
commitec9c5556d9b4c18dbd3917b44a3a3e5c94670b5e (patch)
treeb85c8593db70f92aa0a04ed318ab560eb165c9a8
parentcfef21f5b0a5c4291dcaa019e287210064371edb (diff)
downloadbison-ec9c5556d9b4c18dbd3917b44a3a3e5c94670b5e.tar.gz
tests: ignore messages from the JVM
Reported by Giorgos Pap. <https://lists.gnu.org/r/bug-bison/2022-08/msg00002.html> * examples/test: Discard "Picked up _JAVA_OPTIONS:" messages.
-rw-r--r--THANKS1
-rwxr-xr-xexamples/test9
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