diff --git a/no_atomic_cas.rs b/no_atomic_cas.rs
index 341e6ac7..629d3260 100644
--- a/no_atomic_cas.rs
+++ b/no_atomic_cas.rs
@@ -2,6 +2,7 @@
 // It is not intended for manual editing.
 
 const NO_ATOMIC_CAS: &[&str] = &[
+    "armv4t-none-eabi",
     "avr-unknown-gnu-atmega328",
     "bpfeb-unknown-none",
     "bpfel-unknown-none",