Merge pull request #1376 from gatecat/gatecat/es-postfix-fix

oxide: Fix ES postfix on device name
This commit is contained in:
enjoy-digital 2022-07-19 13:54:31 +02:00 committed by GitHub
commit 2d386a4e9f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -119,7 +119,7 @@ class LatticeOxideToolchain(GenericToolchain):
s_fail = s + "{fail_stmt}\n" # Required so Windows scripts fail early. s_fail = s + "{fail_stmt}\n" # Required so Windows scripts fail early.
script_contents += s_fail.format( script_contents += s_fail.format(
build_name = self._build_name, build_name = self._build_name,
device = "ES" if self._es_device else self.platform.device, device = f"{self.platform.device}{'ES' if self._es_device else ''}",
timefailarg = "--timing-allow-fail" if not self._timingstrict else "", timefailarg = "--timing-allow-fail" if not self._timingstrict else "",
ignoreloops = "--ignore-loops" if self._ignoreloops else "", ignoreloops = "--ignore-loops" if self._ignoreloops else "",
fail_stmt = fail_stmt, fail_stmt = fail_stmt,