aboutsummaryrefslogtreecommitdiff
path: root/player
diff options
context:
space:
mode:
Diffstat (limited to 'player')
-rw-r--r--player/tasks.f901
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