diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/tasks.f90 | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/player/tasks.f90 b/player/tasks.f90 index de73b01..832e345 100644 --- a/player/tasks.f90 +++ b/player/tasks.f90 @@ -315,10 +315,14 @@ contains ! Check that nothing went wrong so far... if(res) then res = shell("git checkout "//trim(branch), directory, capture_filename) - if(res) then - res = shell("git pull", directory, capture_filename) - res = shell("git submodule update", directory, capture_filename) - end if + end if + + if(res) then + res = shell("git pull", directory, capture_filename) + end if + + if(res) then + res = shell("git submodule update", directory, capture_filename) end if git_update = res |