# HG changeset patch
# User wenzelm
# Date 1616870762 -3600
# Node ID 1a6637572b708b0102d1f321bb39e3a365c8796d
# Parent  3cbf041f544a95827cf50074996b40e2bc23a8da
tuned;

diff -r 3cbf041f544a -r 1a6637572b70 Admin/cronjob/self_update
--- a/Admin/cronjob/self_update	Sat Mar 27 19:44:36 2021 +0100
+++ b/Admin/cronjob/self_update	Sat Mar 27 19:46:02 2021 +0100
@@ -10,11 +10,11 @@
 cd "$HOME/cronjob"
 mkdir -p run log
 
-{
+(
   export LANG=C
   export HGPLAIN=
 
   "${HG:-hg}" -R isabelle pull "https://isabelle.sketis.net/repos/isabelle" || echo "self_update pull failed" >&2
   "${HG:-hg}" -R isabelle update -C || echo "self_update update failed" >&2
   isabelle/bin/isabelle components -a 2>&1 || echo "self_update components failed" >&2
-} > run/self_update.out
+) > run/self_update.out