diff options
| -rw-r--r-- | doc/todo/git-rev-list_requires_relative_path___40__fixes_git_ctime__41__.mdwn | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/todo/git-rev-list_requires_relative_path___40__fixes_git_ctime__41__.mdwn b/doc/todo/git-rev-list_requires_relative_path___40__fixes_git_ctime__41__.mdwn new file mode 100644 index 000000000..dda5cdca5 --- /dev/null +++ b/doc/todo/git-rev-list_requires_relative_path___40__fixes_git_ctime__41__.mdwn @@ -0,0 +1,14 @@ + Index: IkiWiki/Rcs/git.pm + =================================================================== + --- IkiWiki/Rcs/git.pm (revision 4532) + +++ IkiWiki/Rcs/git.pm (working copy) + @@ -275,6 +275,9 @@ + + my $file = shift || q{--}; + + + # Remove srcdir prefix to appease git-rev-list + + $file =~ s/^$config{srcdir}\/?//; + + + # Ignore error since a non-existing file might be given. + my ($sha1) = run_or_non('git-rev-list', '--max-count=1', 'HEAD', $file); + if ($sha1) { |