Remove TruffleTimeThreshold, because it does not exist any longer

Signed-off-by: Stefan Marr <git@stefan-marr.de>
smarr · Aug 17, 2019 · e4ce33c · e4ce33c
1 parent 4acb84d
commit e4ce33c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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']