]> git.phdru.name Git - phdru.name/phdru.name.git/blobdiff - update
Compile to bytecode files
[phdru.name/phdru.name.git] / update
diff --git a/update b/update
index 552c1e550e4cd9678e90f44e28b7295389670b41..f7e3dbe696710b462def485e799db986fa4bf946 100755 (executable)
--- 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