From: whitequark <whitequark@whitequark.org>
Date: Sat, 19 Jun 2021 12:10:29 +0000 (+0000)
Subject: Merge pull request #2842 from whitequark/fix-wasi-build
X-Git-Tag: yosys-0.10~128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=862e84eb3d85dfaacc7025b33c7dbe038bfff2d5;p=yosys.git

Merge pull request #2842 from whitequark/fix-wasi-build

Fix WASI build after commit 1d88bea1
---

862e84eb3d85dfaacc7025b33c7dbe038bfff2d5