diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2021-08-22 21:06:36 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2021-08-22 21:09:28 -0700 |
commit | 827dd4a7fe98e80e776b206bb4966e22e22ce3c9 (patch) | |
tree | 699e33beb349cee09fc82d81dfd9c7ebef25e90a /linux/mu | |
parent | b41aed4a9adda23ca2613a24fefa3eafbd611987 (diff) | |
download | mu-827dd4a7fe98e80e776b206bb4966e22e22ce3c9.tar.gz |
start throwing error on duplicate label
One less error that's only in the bootstrap phase. On the other hand, for simplicity I got rid of the ability to override the Entry label. One less special case, but we're also going further from the ability to run subsets of layers. We haven't really been exercising it for a long time, though (commit 7842, March 2021 when we made baremetal the default).
Diffstat (limited to 'linux/mu')
-rwxr-xr-x | linux/mu | bin | 608888 -> 609389 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/linux/mu b/linux/mu
index ecf884a2..ff127f40 100755
--- a/linux/mu
+++ b/linux/mu
Binary files differ |