qemu: Rename qemu-arm port to qemu.

Because this port now supports multiple architectures.

Signed-off-by: Damien George <damien@micropython.org>
This commit is contained in:
Damien George
2024-09-04 17:06:25 +10:00
parent 3ea1ce63da
commit 659113825d
39 changed files with 23 additions and 27 deletions

View File

@@ -3,6 +3,6 @@
# Check that powers of 10 (that fit in float32) format correctly.
for i in range(31):
# It works to 12 digits on all platforms *except* qemu-arm, where
# It works to 12 digits on all platforms *except* qemu, where
# 10^11 comes out as 10000000820 or something.
print(i, "{:.7g}".format(float("1e" + str(i))))