diff options
author | François Garillot <francois@garillot.net> | 2013-10-15 11:40:45 +0200 |
---|---|---|
committer | François Garillot <francois@garillot.net> | 2013-10-15 16:15:31 +0200 |
commit | 09f52ed826120b9b946d1463da493621098dd7e4 (patch) | |
tree | 7ae7297e1f5271bd15d4e4d61fb9edc33f988f90 | |
parent | c2e3b0656bb449e95a529e266294aeabb9cbef3f (diff) | |
download | scala-09f52ed826120b9b946d1463da493621098dd7e4.tar.gz scala-09f52ed826120b9b946d1463da493621098dd7e4.tar.bz2 scala-09f52ed826120b9b946d1463da493621098dd7e4.zip |
Filter JVM debug output for custom options in partest
The Picked up _JAVA_OPTIONS line occurs on Sun's JDK as a debug output when you use that variable to set up custom VM options
-rw-r--r-- | test/files/filters | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/files/filters b/test/files/filters index 9a9b439784..70d7dcff70 100644 --- a/test/files/filters +++ b/test/files/filters @@ -1,3 +1,6 @@ # #Java HotSpot(TM) 64-Bit Server VM warning: Failed to reserve shared memory (errno = 28). Java HotSpot\(TM\) .* warning: +# Hotspot receiving VM options through the $_JAVA_OPTIONS +# env variable outputs them on stderr +Picked up _JAVA_OPTIONS: |