# HG changeset patch
# User wenzelm
# Date 1679051414 -3600
# Node ID 3e8e749935fc59fd9fefbdc23ff97b5c78b2d7a3
# Parent  a76f49a034488bb12cfadcfc0da4551ad10481ba
proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0);

diff -r a76f49a03448 -r 3e8e749935fc src/Pure/Tools/update.scala
--- a/src/Pure/Tools/update.scala	Thu Mar 16 17:12:06 2023 +0100
+++ b/src/Pure/Tools/update.scala	Fri Mar 17 12:10:14 2023 +0100
@@ -75,8 +75,10 @@
 
     /* build */
 
+    val build_options = options + "build_thorough"
+
     val build_results =
-      Build.build(options, progress = progress, dirs = dirs, select_dirs = select_dirs,
+      Build.build(build_options, progress = progress, dirs = dirs, select_dirs = select_dirs,
         selection = selection, build_heap = build_heap, clean_build = clean_build,
         numa_shuffling = numa_shuffling, max_jobs = max_jobs, fresh_build = fresh_build,
         no_build = no_build, augment_options = augment_options)