X-Git-Url: https://git.phdru.name/?p=phdru.name%2Fphdru.name.git;a=blobdiff_plain;f=update;h=f7e3dbe696710b462def485e799db986fa4bf946;hp=552c1e550e4cd9678e90f44e28b7295389670b41;hb=aad94f66564ef290c71c54ef20fdcc1e04e32ab9;hpb=a60f5ae8109cee462eede2b46461224f58e9e184

diff --git a/update b/update
index 552c1e5..f7e3dbe 100755
--- a/update
+++ b/update
@@ -15,7 +15,7 @@ elif [ -z "$current" ]; then
    exit 1
 fi
 
-git pull --ff-only current master &&
+git pull --ff-only current master && compyleall &&
 
 web="`git config --get --path remote.web.url`" &&
 [ -n "$web" ] && git push web