# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1700818583 -3600
# Node ID 83288e02c6faeb5eb6479bc4384304b509ef5f0e
# Parent  8f6c8a573716431efeac0a62de44f59e2fd7dbae
proper inflection point check;

diff -r 8f6c8a573716 -r 83288e02c6fa src/Pure/Tools/build_schedule.scala
--- a/src/Pure/Tools/build_schedule.scala	Fri Nov 24 10:34:10 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala	Fri Nov 24 10:36:23 2023 +0100
@@ -84,7 +84,8 @@
 
           val is_mono = entries == mono_prefix
           val in_prefix = mono_prefix.length > 1 && threads <= mono_prefix.last._1
-          val in_inflection = !is_mono && threads < entries.drop(mono_prefix.length).head._1
+          val in_inflection =
+            !is_mono && mono_prefix.length > 1 && threads < entries.drop(mono_prefix.length).head._1
           if (is_mono || in_prefix || in_inflection) {
             // Model with Amdahl's law
             val t_p =