change name of Linux/ARM platform to match wiki

This commit is contained in:
David Anderson 2022-11-30 22:19:11 -08:00
parent 7027c0fdb3
commit ae29bf51a2
1 changed files with 2 additions and 2 deletions

View File

@ -64,8 +64,8 @@
<user_friendly_name>Android running on Intel x86 compatible</user_friendly_name>
</platform>
<platform>
<name>arm-unknown-linux-gnu</name>
<user_friendly_name>Linux running on ARM</user_friendly_name>
<name>arm-unknown-linux-gnueabihf</name>
<user_friendly_name>Linux running on ARM, hardware FP</user_friendly_name>
</platform>
<platform>
<name>aarch64-unknown-linux-gnu</name>