diff --git a/contrib/docker-build/docker-build b/contrib/docker-build/docker-build index c82377e107..654cc89793 100755 --- a/contrib/docker-build/docker-build +++ b/contrib/docker-build/docker-build @@ -89,7 +89,7 @@ def main(): # Skip comments and empty lines if line == "" or line[0] == "#": continue - op, param = line.split(" ", 1) + op, param = line.split(None, 1) print op.upper() + " " + param if op == "from": base = param