diff options
| author | Patrick Georgi <patrick@georgi.software> | 2018-06-06 17:02:24 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 15:10:25 +0000 |
| commit | c57eeb9c8c0f56165c8907ea7b9ae97f0a79b663 (patch) | |
| tree | 0ed10f99f746dde3462ff51e024b5e72a1e68522 /util/docker/Makefile | |
| parent | 9101608e85998073dc0eb2e1238b6b113e8f65f2 (diff) | |
util/docker/doc.coreboot.org: Add git to the image
Required to get a current version string onto doc.coreboot.org
Change-Id: Iac54c4be2d4e783b7bf9ed529a431e72c67abab7
Signed-off-by: Patrick Georgi <patrick@georgi.software>
Reviewed-on: https://review.coreboot.org/26896
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'util/docker/Makefile')
0 files changed, 0 insertions, 0 deletions