mirage/mirage: PR #1363: Fix Makefile generation to work with beta versions of the compiler

@cd1e310

13/10/2022 11:45

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (8m34s)
❌ arm64-debian-10-4.13 (2m22s)

History:

13/10/2022 11:45 ❌ @cd1e310 (8m34s)