changeset 73240 | 3e963d68d394 |
parent 73239 | 27dc8f899147 |
child 73241 | 62b6bc153b84 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Tue Feb 09 14:03:05 2021 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Feb 09 14:13:03 2021 +0100 @@ -93,6 +93,7 @@ /* integrity test of build_history vs. build_history_base */ def build_history_options0: String = + " -R " + Bash.string(Components.default_component_repository) + " -C '$USER_HOME/.isabelle/contrib' -f " val build_history_base: Logger_Task =