diff options
| author | Jeffrey Armstrong <jeff@approximatrix.com> | 2022-02-28 15:07:40 -0500 |
|---|---|---|
| committer | Jeffrey Armstrong <jeff@approximatrix.com> | 2022-02-28 15:07:40 -0500 |
| commit | 26a936137f67843cb773bc9b9e8c360d5abff65f (patch) | |
| tree | 69df0939155943ad4c32b7a8d5e0d9f45a6325bc /player | |
| parent | c79a25cdbb359a6757cf7c2bca64fb52642073e2 (diff) | |
| download | levitating-26a936137f67843cb773bc9b9e8c360d5abff65f.tar.gz levitating-26a936137f67843cb773bc9b9e8c360d5abff65f.zip | |
Git pull operations that fail should now stop the build process correctly.
Diffstat (limited to 'player')
| -rw-r--r-- | player/tasks.f90 | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/player/tasks.f90 b/player/tasks.f90 index de73b01..832e345 100644 --- a/player/tasks.f90 +++ b/player/tasks.f90 @@ -315,10 +315,14 @@ contains ! Check that nothing went wrong so far... 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 + + if(res) then + res = shell("git pull", directory, capture_filename) + end if + + if(res) then + res = shell("git submodule update", directory, capture_filename) end if git_update = res |