diff -r c6c352c5807f -r faad63aca1e7 src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Oct 11 18:46:44 2020 +0100
+++ b/src/Pure/build-jars	Sun Oct 11 22:26:55 2020 +0200
@@ -125,6 +125,7 @@
   src/Pure/System/command_line.scala
   src/Pure/System/cygwin.scala
   src/Pure/System/distribution.scala
+  src/Pure/System/executable.scala
   src/Pure/System/getopts.scala
   src/Pure/System/isabelle_charset.scala
   src/Pure/System/isabelle_fonts.scala