diff options
| author | Sergey Sharybin <sergey.vfx@gmail.com> | 2019-11-12 16:28:39 +0300 |
|---|---|---|
| committer | Sergey Sharybin <sergey.vfx@gmail.com> | 2019-11-12 16:28:39 +0300 |
| commit | 125257758007b0164ea1b7122b9c03476c3f871a (patch) | |
| tree | 6cd4e09521f7e63589f9f4d3f4e685118f70bc24 | |
| parent | 1e19ff8bfd7c050d056002836694eea048175547 (diff) | |
Safer fix for make_update.py on buildbot
Makes it so compilation doesn't fail when the SVN updating
stumbles upon checkout which doesn't have correspondence in
a tag, but which isn't so risky as previous change.
| -rwxr-xr-x | build_files/utils/make_update.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/utils/make_update.py b/build_files/utils/make_update.py index ec72514fdfc..552e7625267 100755 --- a/build_files/utils/make_update.py +++ b/build_files/utils/make_update.py @@ -108,7 +108,7 @@ def svn_update(args, release_version): if os.path.exists(svn_dirpath): call(svn_non_interactive + ["cleanup", dirpath]) # Switch to appropriate branch and update. - call(svn_non_interactive + ["switch", svn_url + dirname, dirpath]) + call(svn_non_interactive + ["switch", svn_url + dirname, dirpath], exit_on_error=False) call(svn_non_interactive + ["update", dirpath]) # Test if git repo can be updated. |