mirage/mirage: PR #1370: Replace 'echo -e' with 'printf' in makefiles

@feff3f3

28/10/2022 12:15

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (10m34s)
✔️ arm64-debian-10-4.13 (5m33s)

History:

28/10/2022 12:15 ✔️ @feff3f3 (10m34s)
28/10/2022 06:14 ✔️ @259971d (23m25s)