From a5b792489808e6259986fdc38d60d674faef806a Mon Sep 17 00:00:00 2001 From: Jeffrey Armstrong Date: Tue, 18 May 2021 08:48:08 -0400 Subject: Added a pull command to make sure git actually does pull the latest. --- player/tasks.f90 | 1 + 1 file changed, 1 insertion(+) (limited to 'player') 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 -- cgit v1.2.3