[coreboot-gerrit] Patch merged into coreboot/master: util/docker: Add a makefile for common docker tasks

the following patch was just integrated into master:
commit cbaab7ee3cf1080a98fe376564e5aadfe169c1d6
Author: Martin Roth 
Date:   Wed Aug 31 21:26:17 2016 -0600

util/docker: Add a makefile for common docker tasks

Commands for working with docker images:
    build-coreboot-sdk           - Build coreboot-sdk container
    upload-coreboot-sdk          - Upload coreboot-sdk to hub.docker.com
    build-coreboot-jenkins-node  - Build coreboot-jenkins-node container
    upload-coreboot-jenkins-node - Upload coreboot-jenkins-node to hub.docker.com
    clean_coreboot_containers    - remove all docker coreboot containers
    clean_coreboot_images        - remove all docker coreboot images

Commands for using docker images
    docker_build_coreboot <BUILD_CMD=target>  - Build coreboot under coreboot-sdk
    docker_abuild <ABUILD_ARGS='-a -B'>       - Run abuild under coreboot-sdk

Change-Id: I3a75b0615747d32f593948f53eab076f303271bf
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/16388
    Tested-by: build bot (Jenkins)
    Reviewed-by: Philipp Deppenwiese 
    Reviewed-by: Patrick Georgi

See https://review.coreboot.org/16388 for details.

-gerrit