Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fetchgit: git_rev: allow refs

Browse Source
This commit is contained in:
tv 2015-06-28 13:47:21 +02:00
parent 7e699c4009
commit f3d6721e60
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
bin/fetchgit
View File

@ -22,7 +22,7 @@ cache_dir=$cache_base/$(echo "$git_url" | urlencode)
# work_dir points to a (maybe non-existent) directory, where a specific
# revision of the repository is checked out.
work_dir=$work_base/$(echo "$git_rev")
work_dir=$work_base/$(echo "$git_rev" | urlencode)
cache_git() {
git --git-dir="$cache_dir" "$@"
@ -35,7 +35,7 @@ work_git() {
is_up_to_date() {
test -d "$cache_dir" &&
test -d "$work_dir" &&
test "$(work_git rev-parse HEAD)" = "$git_rev"
test "$(work_git rev-parse HEAD)" = "$(cache_git rev-parse "$git_rev")"
}
if ! is_up_to_date; then
@ -52,8 +52,9 @@ if ! is_up_to_date; then
if ! test -d "$work_dir"; then
git clone -n --shared "$cache_dir" "$work_dir"
fi
work_git checkout "$git_rev" -- "$(readlink -f "$work_dir")"
work_git checkout -b master "$git_rev"
commit_name=$(cache_git rev-parse "$git_rev")
work_git checkout "$commit_name" -- "$(readlink -f "$work_dir")"
work_git checkout -q "$commit_name"
work_git submodule init
work_git submodule update
fi