Beispiel #1
0
 def __init__(self, name, compilers=False, updatesGraalProperties=False):
     JvmciJDKDeployedDist.__init__(self, name, compilers=compilers)
     self.updatesGraalProperties = updatesGraalProperties
Beispiel #2
0
 def __init__(self, name, compilers=False, updatesGraalProperties=False):
     JvmciJDKDeployedDist.__init__(self, name, compilers=compilers)
     self.updatesGraalProperties = updatesGraalProperties