From e4ce33cad5a12de55f17c4dcbd8c35a1ee934870 Mon Sep 17 00:00:00 2001 From: Stefan Marr Date: Sat, 17 Aug 2019 17:20:04 +0100 Subject: [PATCH] Remove TruffleTimeThreshold, because it does not exist any longer Signed-off-by: Stefan Marr --- som | 4 ---- 1 file changed, 4 deletions(-) diff --git a/som b/som index e48ca29d1..c896e6be3 100755 --- a/som +++ b/som @@ -267,10 +267,6 @@ if sys.argv[0].endswith('debug'): if args.only_igv or args.igv_methods: args.igv = True -if not args.interpreter: - # Make sure everything gets compiled - flags += ['-Dgraal.TruffleTimeThreshold=10000000'] - if args.debug: flags += ['-Xdebug', '-Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=8000']