diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/tasks.f90 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/player/tasks.f90 b/player/tasks.f90 index c47cffb..c660e8f 100644 --- a/player/tasks.f90 +++ b/player/tasks.f90 @@ -277,6 +277,7 @@ contains 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 |