mirror of
https://github.com/radareorg/r2env.git
synced 2026-11-07 23:03:20 -10:00
Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
daeba4ebcf | ||
|
|
5578bee417 |
No files matched your search
+6
-1
@@ -81,7 +81,12 @@ def git_fetch(url, version, source_path):
|
||||
f"Verify the source path is not dirty. Error: {err}") \
|
||||
from err
|
||||
if version != "git":
|
||||
repo.git.checkout(version)
|
||||
try:
|
||||
repo.git.checkout(version)
|
||||
except git.GitCommandError:
|
||||
# try again after pulling new tags from origin
|
||||
repo.git.fetch("origin", "--tags")
|
||||
repo.git.checkout(version)
|
||||
sms = repo.submodules
|
||||
for sm in sms:
|
||||
if not sm.module_exists():
|
||||
|
||||
+1
-1
@@ -1 +1 @@
|
||||
0.5.8
|
||||
0.5.9
|
||||
Reference in new issue
Block a user