diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/instructions.f90 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/player/instructions.f90 b/player/instructions.f90 index c0407c1..3b2f0de 100644 --- a/player/instructions.f90 +++ b/player/instructions.f90 @@ -323,8 +323,15 @@ contains capture_filename => generate_temporary_filename() found(1) = get_task_string(j, i, "origin", url) + found(2) = get_task_string(j, i, "branch", branch) + if(.not. found(2)) then + branch = "master" + found(2) = .true. + end if + found(3) = get_task_string(j, i, "directory", filename) + found(4) = get_task_logical(j, i, "destructive", destructive) if(.not. found(4)) then destructive = .false. |