diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2023-07-24 16:58:15 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2023-07-24 16:58:15 +0000 |
| commit | 379c736c5a0688c564cf733b70a15da385aa6439 (patch) | |
| tree | e8bb3bd4b1c1e7b95e47f775460cfd85ad46f1ed | |
| parent | 29629d9e763f62a481fa795caaa04bb0b030980f (diff) | |
| -rw-r--r-- | ObsoleteFiles.inc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc index 80e106d63db8..0dc315ee64ba 100644 --- a/ObsoleteFiles.inc +++ b/ObsoleteFiles.inc @@ -52,6 +52,15 @@ # xargs -n1 | sort | uniq -d; # done +# 20230724: Remove unneeded arm headers +.if ${TARGET_ARCH} == "arm" +OLD_FILES+=usr/include/machine/atomic-v6.h +OLD_FILES+=usr/include/machine/cpu-v6.h +OLD_FILES+=usr/include/machine/pmap-v6.h +OLD_FILES+=usr/include/machine/pte-v6.h +OLD_FILES+=usr/include/machine/swi.h +.endif + # 20230714: gsignal OLD_FILES+=usr/share/man/man9/gsignal.9.gz |