src/Pure/System/components.scala

--- a/src/Pure/System/components.scala	Sat Aug 13 15:09:10 2022 +0200
+++ b/src/Pure/System/components.scala	Sat Aug 13 15:41:12 2022 +0200
@@ -318,7 +318,7 @@
         var options = Options.init()
 
         def show_options: String =
-          cat_lines(relevant_options.map(name => options.options(name).print))
+          cat_lines(relevant_options.flatMap(options.get).map(_.print))
 
         val getopts = Getopts("""
 Usage: isabelle build_components [OPTIONS] ARCHIVES... DIRS...