diff options
author | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-18 08:48:08 -0400 |
---|---|---|
committer | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-18 08:48:08 -0400 |
commit | a5b792489808e6259986fdc38d60d674faef806a (patch) | |
tree | 3f1c3293c427dda635bf7934e7ec8c92e5b7798c /player | |
parent | 22fe1a9e84cbd6ef6b075eca250460b21d4c2863 (diff) | |
download | levitating-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.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 |