make/RunTests.gmk

*** 945,11 ***
  
    JTREG_ALL_OPTIONS := $$(JTREG_JAVA_OPTIONS) $$(JTREG_VM_OPTIONS)
  
    JTREG_AUTO_PROBLEM_LISTS :=
    # Please reach consensus before changing this. It was not easy changing it to a `1`.
!   JTREG_AUTO_TIMEOUT_FACTOR := 1
  
    ifneq ($$(findstring -Xcomp, $$(JTREG_ALL_OPTIONS)), )
      JTREG_AUTO_PROBLEM_LISTS += ProblemList-Xcomp.txt
      JTREG_AUTO_TIMEOUT_FACTOR := 10
    endif
--- 945,11 ---
  
    JTREG_ALL_OPTIONS := $$(JTREG_JAVA_OPTIONS) $$(JTREG_VM_OPTIONS)
  
    JTREG_AUTO_PROBLEM_LISTS :=
    # Please reach consensus before changing this. It was not easy changing it to a `1`.
!   JTREG_AUTO_TIMEOUT_FACTOR := 4
  
    ifneq ($$(findstring -Xcomp, $$(JTREG_ALL_OPTIONS)), )
      JTREG_AUTO_PROBLEM_LISTS += ProblemList-Xcomp.txt
      JTREG_AUTO_TIMEOUT_FACTOR := 10
    endif