Searched refs:file_rev (Results 1 – 1 of 1) sorted by relevance
167 file_rev="$(git rev-list -n 1 HEAD "$file")"168 if [ "$file_rev" == "" ]; then173 file_time="$(git show --pretty=format:%ai --abbrev-commit "$file_rev" | head -n 1)"