From 424cc678ebac93c69c288fcdbc2e1a4bd0493328 Mon Sep 17 00:00:00 2001 From: Barry Allard Date: Sat, 4 May 2013 21:20:41 -0700 Subject: [PATCH] closes #522 --- contrib/docker-build/docker-build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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