mirage/mirage: PR #1317: Fix compilation flags

@b88ccf0

27/03/2022 19:43

Link to Github

Stages:

🟠 x86_64-debian-10-4.13
❌ arm64-debian-10-4.13 (3m10s)

History:

27/03/2022 19:43 ❌ @b88ccf0 (3m10s)