diff options
| author | Renegade-Master <renegade.master.dev@protonmail.com> | 2023-01-14 02:25:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-14 13:25:07 +1100 |
| commit | 3f2cbc9e68fa026ac14471e4ef15c9c349d78f38 (patch) | |
| tree | f537534d3f303fc398e341d0305fc65d1247cbd0 /util/docker_build.sh | |
| parent | 9c02b2990acfcbd628c38edb3d70dec691390d9c (diff) | |
Pr/reorder docker podman check (#19561)
Diffstat (limited to 'util/docker_build.sh')
| -rwxr-xr-x | util/docker_build.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/util/docker_build.sh b/util/docker_build.sh index 7e10a4f76b..8dce387320 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh | |||
| @@ -20,13 +20,13 @@ if [ $# -gt 1 ]; then | |||
| 20 | fi | 20 | fi |
| 21 | 21 | ||
| 22 | # Allow $RUNTIME to be overridden by the user as an environment variable | 22 | # Allow $RUNTIME to be overridden by the user as an environment variable |
| 23 | # Else check if either docker or podman exit and set them as runtime | 23 | # Else check if either podman or docker exit and set them as runtime |
| 24 | # if none are found error out | 24 | # if none are found error out |
| 25 | if [ -z "$RUNTIME" ]; then | 25 | if [ -z "$RUNTIME" ]; then |
| 26 | if command -v docker >/dev/null 2>&1; then | 26 | if command -v podman >/dev/null 2>&1; then |
| 27 | RUNTIME="docker" | ||
| 28 | elif command -v podman >/dev/null 2>&1; then | ||
| 29 | RUNTIME="podman" | 27 | RUNTIME="podman" |
| 28 | elif command -v docker >/dev/null 2>&1; then | ||
| 29 | RUNTIME="docker" | ||
| 30 | else | 30 | else |
| 31 | errcho "Error: no compatible container runtime found." | 31 | errcho "Error: no compatible container runtime found." |
| 32 | errcho "Either podman or docker are required." | 32 | errcho "Either podman or docker are required." |
