aboutsummaryrefslogtreecommitdiff
path: root/player
diff options
context:
space:
mode:
authorJeffrey Armstrong <jeff@approximatrix.com>2021-05-18 08:48:08 -0400
committerJeffrey Armstrong <jeff@approximatrix.com>2021-05-18 08:48:08 -0400
commita5b792489808e6259986fdc38d60d674faef806a (patch)
tree3f1c3293c427dda635bf7934e7ec8c92e5b7798c /player
parent22fe1a9e84cbd6ef6b075eca250460b21d4c2863 (diff)
downloadlevitating-a5b792489808e6259986fdc38d60d674faef806a.tar.gz
levitating-a5b792489808e6259986fdc38d60d674faef806a.zip
Added a pull command to make sure git actually does pull the latest.
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