diff options
author | Adin Scannell <ascannell@google.com> | 2020-01-22 10:38:03 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-01-22 10:39:45 -0800 |
commit | cb3906ae00575859a6910b8edc62ab9d531d1c85 (patch) | |
tree | 2dcb1dfd4f7f3d400682b74fa036c43c0f54871a /tools/images/ubuntu1804 | |
parent | 6a59e7f510a7b12f8b3bd768dfe569033ef07d30 (diff) |
Add tools for generating images.
This formalizes the adhoc scripts previously in kokoro. The image targets can
be used by e.g. benchmarks in order to automated image prepation.
PiperOrigin-RevId: 290982744
Diffstat (limited to 'tools/images/ubuntu1804')
-rw-r--r-- | tools/images/ubuntu1804/BUILD | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/images/ubuntu1804/BUILD b/tools/images/ubuntu1804/BUILD new file mode 100644 index 000000000..7aa1ecdf7 --- /dev/null +++ b/tools/images/ubuntu1804/BUILD @@ -0,0 +1,7 @@ +package(licenses = ["notice"]) + +alias( + name = "ubuntu1804", + actual = "//tools/images/ubuntu1604", + visibility = ["//:sandbox"], +) |