Get cgi from origin before cd'ing to current

[phdru.name/cgi-bin/blog-ru/search-tags.git] / update

diff --git a/update b/update
index d668175cdfa160f01965c579877ea717ff709cf1..1b9b51822abc9f224b8ab7b50eedef592453b357 100755 (executable)
--- a/update
+++ b/update
@@ -24,4 +24,10 @@ web="`git config --get --path remote.web.url`" &&
 rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
            "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
 
+# Save files generated by yacc
+rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
+
+cgi="`git config --get --path remote.cgi.url`" &&
+[ -n "$cgi" ] && cd "$cgi" && git pull origin &&
+
 cd "$current" && exec git pull origin