Retry checking out the version

rss 0.2.9 is tagged without the "v" prefix.
2020-02-24 12:32:50 +09:00 · 2020-02-24 12:32:50 +09:00 · 116b9e6a16
commit 116b9e6a16
parent 6f92c62084
1 changed files with 5 additions and 1 deletions
--- a/tool/fetch-bundled_gems.rb
+++ b/tool/fetch-bundled_gems.rb
@ -26,4 +26,8 @@ else
  puts "retrieving #{n} ..."
  system(*%W"git clone #{u} #{n}") or abort
 end
-system(*%W"git checkout #{v}", chdir: n) or abort
+unless system(*%W"git checkout #{v}", chdir: n)
+  unless v.sub!(/\Av/, '') and system(*%W"git checkout #{v}", chdir: n)
+    abort
+  end
+end