Fixup

Author: tgross35

Diff for: ci/run-docker.sh

@@ -55,7 +55,7 @@ run() {
 
     docker "${build_cmd[@]:-build}" \
            -t "builtins-$target" \
-           "${build_args[@]:-}" \
+           ${build_args[@]:-} \
            "ci/docker/$target"
     docker run \
            --rm \