diff options
Diffstat (limited to 'src/builtins.zig')
| -rw-r--r-- | src/builtins.zig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/builtins.zig b/src/builtins.zig index 23ae18c3..2c52b5f9 100644 --- a/src/builtins.zig +++ b/src/builtins.zig @@ -42,7 +42,7 @@ pub const capabilities: runtime_config.Capabilities = .{ .scene_shaders = pardes.platform == .gui or pardes.platform == .macos, // The tty's font belongs to its emulator, and the P4 firmware's belongs to // whatever terminal is on the other end of the serial line. - .tagline_font_size = pardes.platform != .tty and pardes.platform != .p4, + .tagline_font_size = pardes.platform != .tty and pardes.platform != .esp32p4, }; /// What a builtin gets to act on. One bundle rather than five parameters @@ -922,7 +922,7 @@ pub const Lspwhy = struct { // // Three words gated by `board_memory.enabled`, which is a fact about the // TARGET (freestanding, and not wasm) rather than about `pardes.platform` — -// see the reasoning there. Today that is exactly `-Dplatform=p4`; what makes +// see the reasoning there. Today that is exactly `-Dplatform=esp32p4`; what makes // it the right predicate is that a second bare-metal port gets them without // anyone remembering to add an enum arm, and the browser never does. // Elsewhere they are absent from the command enum, the help index, the leader |