diff -r f98f764239a4 -r b8cc129ece05 src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Oct 09 12:28:04 2020 +0200
+++ b/src/Pure/build-jars	Fri Oct 09 13:12:56 2020 +0200
@@ -20,6 +20,7 @@
   src/Pure/Admin/build_log.scala
   src/Pure/Admin/build_polyml.scala
   src/Pure/Admin/build_release.scala
+  src/Pure/Admin/build_spass.scala
   src/Pure/Admin/build_sqlite.scala
   src/Pure/Admin/build_status.scala
   src/Pure/Admin/check_sources.scala