From 5c877c7d1fab7d81384f66ff9597dd17700120fe Mon Sep 17 00:00:00 2001 From: Oleg Broytman Date: Tue, 20 May 2014 08:38:28 +0400 Subject: [PATCH] Save files generated by yacc --- update | 3 +++ 1 file changed, 3 insertions(+) diff --git a/update b/update index d668175..7791b42 100755 --- a/update +++ b/update @@ -24,4 +24,7 @@ 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 . && + cd "$current" && exec git pull origin -- 2.39.2