diff options
Diffstat (limited to 'util/docker_build.sh')
| -rwxr-xr-x | util/docker_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker_build.sh b/util/docker_build.sh index 2b109be76d..2c2a26e776 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh @@ -36,7 +36,7 @@ if [ -z "$RUNTIME" ]; then exit 2 fi fi - + # Determine arguments if [ $# -eq 0 ]; then |