# HG changeset patch
# User Gilles Duboscq <gilles.m.duboscq@oracle.com>
# Date 1432888732 -7200
# Node ID 16eff885df66b27ef3381c345cce1896b6ff4502
# Parent  b72a5d25ad43b295dc5f6d88e03621edc756371b
delete options once they have been passed to Java

diff -r b72a5d25ad43 -r 16eff885df66 src/share/vm/runtime/thread.cpp
--- a/src/share/vm/runtime/thread.cpp	Fri May 29 10:35:51 2015 +0200
+++ b/src/share/vm/runtime/thread.cpp	Fri May 29 10:38:52 2015 +0200
@@ -3711,6 +3711,7 @@
 
 #ifdef JVMCI
   JVMCIRuntime::set_options(options, main_thread);
+  delete options;
 #endif
 
   // initialize compiler(s)