summary refs log tree commit diff
diff options
context:
space:
mode:
authorJonathan 'theJPster' Pallant <github@thejpster.org.uk>2024-10-11 13:54:18 +0200
committerJonathan 'theJPster' Pallant <github@thejpster.org.uk>2024-10-11 13:54:18 +0200
commitb52941dec76656f9c80c5f67e5326fafd256b9e0 (patch)
treedc812d94e576983ff8eb6ba3409ff77aa33aecd6
parent1bec0226d9ec3cf12d1709daa6b23e9f16f08d10 (diff)
downloadrust-b52941dec76656f9c80c5f67e5326fafd256b9e0.tar.gz
rust-b52941dec76656f9c80c5f67e5326fafd256b9e0.zip
Clarify wording around use of `-fpregs` for amr platform docs.
-rw-r--r--src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md2
-rw-r--r--src/doc/rustc/src/platform-support/thumbv8m.main-none-eabi.md5
2 files changed, 4 insertions, 3 deletions
diff --git a/src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md b/src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md
index 7436a4a53b1..11c9486cb76 100644
--- a/src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md
+++ b/src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md
@@ -52,7 +52,7 @@ to use these flags.
 
 <div class="warning">
 
-Never use the `-fpregs` *target-feature* with these `eabihf` targets
+Never use the `-fpregs` *target-feature* with the `thumbv7em-none-eabihf` target
 as it will cause compilation units to have different ABIs, which is unsound.
 
 </div>
diff --git a/src/doc/rustc/src/platform-support/thumbv8m.main-none-eabi.md b/src/doc/rustc/src/platform-support/thumbv8m.main-none-eabi.md
index 7d4abfc8485..40b19364f61 100644
--- a/src/doc/rustc/src/platform-support/thumbv8m.main-none-eabi.md
+++ b/src/doc/rustc/src/platform-support/thumbv8m.main-none-eabi.md
@@ -76,8 +76,9 @@ to use these flags.
 
 <div class="warning">
 
-Never use the `-fpregs` *target-feature* with these `eabihf` targets
-as it will cause compilation units to have different ABIs, which is unsound.
+Never use the `-fpregs` *target-feature* with the `thumbv8m.main-none-eabihf`
+target as it will cause compilation units to have different ABIs, which is
+unsound.
 
 </div>