From f6253b3851ef2ba35385469de3b038d55164340f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= <jf@jfng.fr>
Date: Tue, 29 Mar 2022 22:06:25 +0200
Subject: [PATCH] build.plat: use tool_env_var() in _toolchain_env_var.

---
 amaranth/build/plat.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/amaranth/build/plat.py b/amaranth/build/plat.py
index 13cdc4d..ca2d1d8 100644
--- a/amaranth/build/plat.py
+++ b/amaranth/build/plat.py
@@ -70,11 +70,11 @@ class Platform(ResourceManager, metaclass=ABCMeta):
 
     @property
     def _deprecated_toolchain_env_var(self):
-        return f"NMIGEN_ENV_{self.toolchain}"
+        return f"NMIGEN_ENV_{tool_env_var(self.toolchain)}"
 
     @property
     def _toolchain_env_var(self):
-        return f"AMARANTH_ENV_{self.toolchain}"
+        return f"AMARANTH_ENV_{tool_env_var(self.toolchain)}"
 
     def build(self, elaboratable, name="top",
               build_dir="build", do_build=True,