merlyn@xxxxxxxxxxxxxx (Randal L. Schwartz) writes:
> % rm -rf /opt/git/share/man
> % make prefix=/opt/git quick-install-man
> make -C Documentation quick-install-man
> SUBDIR ../
> make[2]: `GIT-VERSION-FILE' is up to date.
> '/bin/sh' ./install-doc-quick.sh origin/man /opt/git/share/man
> % make prefix=/opt/git quick-install-man
> make -C Documentation quick-install-man
> SUBDIR ../
> make[2]: `GIT-VERSION-FILE' is up to date.
> '/bin/sh' ./install-doc-quick.sh origin/man /opt/git/share/man
> error: git checkout-index: unable to create file /opt/git/share/man/man1/git-add.1 (File exists)
> error: git checkout-index: unable to create file /opt/git/share/man/man1/git-am.1 (File exists)
> error: git checkout-index: unable to create file /opt/git/share/man/man1/git-annotate.1 (File exists)
> error: git checkout-index: unable to create file /opt/git/share/man/man1/git-apply.1 (File exists)
> [...]
>
> So it fails the second time. This is new behavior.
Interesting, and this does not reproduce for me.
I've tried "run twice back to back" like you did above, "run once, then
'find -type f -print | xargs touch' the target, and then run again", and also
"run once, then 'find -type f -print | xargs chmod -w' the target, and then run again".
None of these fail.
One way I can think of to break it deliberately would be:
make prefix=/var/tmp/gomikuzu quick-install-man
find /var/tmp/gomikuzu -type d | xargs chmod -w
make prefix=/var/tmp/gomikuzu quick-install-man
But then the failure is different from what you showed above:
error: unable to unlink old '/var/tmp/gomikuzu/share/...' (Permission denied)
Puzzled.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html