git: 379c736c5a06 - main - Add old arm headers to ObsoleteFiles.inc

From: Andrew Turner <andrew_at_FreeBSD.org>
Date: Mon, 24 Jul 2023 16:58:48 UTC 
The branch main has been updated by andrew:

URL: https://cgit.FreeBSD.org/src/commit/?id=379c736c5a0688c564cf733b70a15da385aa6439

commit 379c736c5a0688c564cf733b70a15da385aa6439
Author:     Andrew Turner <andrew@FreeBSD.org>
AuthorDate: 2023-07-24 16:58:15 +0000
Commit:     Andrew Turner <andrew@FreeBSD.org>
CommitDate: 2023-07-24 16:58:15 +0000

    Add old arm headers to ObsoleteFiles.inc
    
    Sponsored by:   Arm Ltd
    Differential Revision:  https://reviews.freebsd.org/D41140
---
 ObsoleteFiles.inc | 9 +++++++++
 1 file changed, 9 insertions(+)

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