# HG changeset patch
# User Paul Woegerer <paul.woegerer@oracle.com>
# Date 1447326758 -3600
# Node ID b2ffe98913566801c79682604434b6952fbbb226
# Parent  372cb6e59b0da698111b72a773d4d566635855a3
In 'def run_java()' add missing forwarding of timeout argument

diff -r 372cb6e59b0d -r b2ffe9891356 mx.jvmci/mx_jvmci.py
--- a/mx.jvmci/mx_jvmci.py	Wed Nov 11 18:34:15 2015 +0100
+++ b/mx.jvmci/mx_jvmci.py	Thu Nov 12 12:12:38 2015 +0100
@@ -1835,7 +1835,7 @@
 
         pfx = _vm_prefix.split() if _vm_prefix is not None else []
         cmd = pfx + [self.java] + ['-' + vm] + args
-        return mx.run(cmd, nonZeroIsFatal=nonZeroIsFatal, out=out, err=err, cwd=cwd)
+        return mx.run(cmd, nonZeroIsFatal=nonZeroIsFatal, out=out, err=err, cwd=cwd, timeout=timeout)
 
 """
 The dict of JVMCI JDKs indexed by vmbuild names.