diff options
| author | Adin Scannell <ascannell@google.com> | 2020-12-09 09:31:44 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2020-12-09 15:53:23 -0800 |
| commit | a855a814d601a4c30f26743ef1bf016df956e042 (patch) | |
| tree | b017a831f6eff9c9734663114bbdf39fc4b6ffc7 /tools/vm/ubuntu1804 | |
| parent | f6cb96bd57dec4e3baa8c57ccdeb0f1d8706b682 (diff) | |
Refactor the Makefile to avoid recursive Make.
Recursive make is difficult to follow and debug. Drop this by using
internal functions, which, while difficult, are easier than trying to
following recursive invokations.
Further simplify the Makefile by collapsing the image bits and removing
the tools/vm directory, which is effectively unused.
Fixes #4952
PiperOrigin-RevId: 346569133
Diffstat (limited to 'tools/vm/ubuntu1804')
| -rw-r--r-- | tools/vm/ubuntu1804/BUILD | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/vm/ubuntu1804/BUILD b/tools/vm/ubuntu1804/BUILD deleted file mode 100644 index 0c8856dde..000000000 --- a/tools/vm/ubuntu1804/BUILD +++ /dev/null @@ -1,7 +0,0 @@ -package(licenses = ["notice"]) - -alias( - name = "ubuntu1804", - actual = "//tools/vm/ubuntu1604", - visibility = ["//:sandbox"], -) |