diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2022-09-03 09:11:20 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2022-09-03 09:13:48 +0200 |
| commit | ec9c5556d9b4c18dbd3917b44a3a3e5c94670b5e (patch) | |
| tree | b85c8593db70f92aa0a04ed318ab560eb165c9a8 /THANKS | |
| parent | cfef21f5b0a5c4291dcaa019e287210064371edb (diff) | |
| download | bison-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.
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |