X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=update;h=a7aefa92c9de344375f86a78e6dd8815ff321d32;hb=fa0f65074563ba0fe38311f4b79787d15f0bee7c;hp=552c1e550e4cd9678e90f44e28b7295389670b41;hpb=404e33f61c2b32c805a9dc39f25f8782b017f41e;p=bookmarks_db.git

diff --git a/update b/update
index 552c1e5..a7aefa9 100755
--- a/update
+++ b/update
@@ -20,4 +20,4 @@ git pull --ff-only current master &&
 web="`git config --get --path remote.web.url`" &&
 [ -n "$web" ] && git push web
 
-cd "$current" && exec git pull origin
+cd "$current" && compyleall && exec git pull origin