Browse Source

Merge pull request #29 from luke-jr/bugfix_changing_remote_uri

Bugfix: git fetch directly from the remote URL, rather than only setting a default the first time
tags/0.1
Dev Random 8 years ago
parent
commit
7e846db55e
1 changed files with 1 additions and 2 deletions
  1. 1
    2
      bin/gbuild

+ 1
- 2
bin/gbuild View File

@@ -196,9 +196,8 @@ build_desc["remotes"].each do |remote|
dir = sanitize(remote["dir"], remote["dir"])
unless File.exist?("inputs/#{dir}")
system!("git init inputs/#{dir}")
system!("cd inputs/#{dir} && git remote add origin #{sanitize_path(remote["url"], remote["url"])}")
end
system!("cd inputs/#{dir} && git fetch && git fetch --tags")
system!("cd inputs/#{dir} && git fetch #{sanitize_path(remote["url"], remote["url"])} +refs/tags/*:refs/tags/* +refs/heads/*:refs/heads/*")
commit = sanitize(remote["commit"], remote["commit"])
commit = `cd inputs/#{dir} && git log --format=%H -1 #{commit}`.strip
raise "error looking up commit for tag #{remote["commit"]}" unless $?.exitstatus == 0

Loading…
Cancel
Save