tree 5031f7258d7fff00958d89377158c7dea597658a
parent 449a2a84f7455c54425e3faaa95d0786b1dad9e8
author Googler <noreply@google.com> 1464809857 +0000
committer Dmitry Lomov <dslomov@google.com> 1464867840 +0000

Wire up the |user| parameter to |docker_build|.

The Docker USER parameter[1] specifies the system user that the contained
process will run under, amoungst other things. The |docker_build| function
already has an argument for this, but it was previously ignored.

[1] https://docs.docker.com/engine/reference/builder/#user

--
MOS_MIGRATED_REVID=123782558