diff options
| -rwxr-xr-x | scripts/auto-build/pure-data-rsync-checkout | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/auto-build/pure-data-rsync-checkout b/scripts/auto-build/pure-data-rsync-checkout index e5e4256b..23f4f6a5 100755 --- a/scripts/auto-build/pure-data-rsync-checkout +++ b/scripts/auto-build/pure-data-rsync-checkout @@ -24,6 +24,8 @@ for dir in /home/pd/rsync/*; do dirname=$(echo $dir | sed 's|.*/\(.*\)|\1|') test -e $dir/scripts/update-developer-layout.sh && \ update_distro $dirname + test -e $dir/pd/.git && \ + cd $dir/pd && git pull origin master done for dir in /home/pd/rsync/*.git; do |