Browse Source

Use git-reset to ensure that git repo copy is not dirty

git-archive
devrandom 10 years ago
parent
commit
ba55f0d896
  1. 2
      bin/gbuild

2
bin/gbuild

@ -105,7 +105,7 @@ def build_one_configuration(suite, arch, build_desc, reference_datetime) @@ -105,7 +105,7 @@ def build_one_configuration(suite, arch, build_desc, reference_datetime)
system!("git clone -q #{sanitize_path(remote["url"], remote["url"])} inputs/#{dir}")
end
system! "copy-to-target #{@quiet_flag} inputs/#{dir} build/"
script.puts "(cd build/#{dir} && git checkout -q #{remote["commit"]})"
script.puts "(cd build/#{dir} && git checkout -q #{remote["commit"]} && git reset -q --hard)"
end
script.puts "cd build"
script.puts build_desc["script"]

Loading…
Cancel
Save