0c36f7
git_pull_and_update.sh: replace -C with --exclude '.git' -C excludes files CVS would exclude, for example *.o files. Sadly this also excludes directories like "build.o.o". --exclude .git is more specific and avoids this problem.