Searched refs:file_rev (Results 1 - 1 of 1) sorted by relevance

/external/bouncycastle/
H A Dimport_bouncycastle.sh167 file_rev="$(git rev-list -n 1 HEAD "$file")"
168 if [ "$file_rev" == "" ]; then
173 file_time="$(git show --pretty=format:%ai --abbrev-commit "$file_rev" | head -n 1)"

Completed in 484 milliseconds