[xen master] tools/include: properly install Arm public headers

[patchbot@xxxxxxx]

commit 3d77849197c3b51d51067c2fbb4b34435e271a0a
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Wed Oct 14 14:02:03 2020 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Wed Oct 14 14:02:03 2020 +0200

    tools/include: properly install Arm public headers
    
    When smccc.h was added, adjustment of the install rule was missed.
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Tested-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
    Acked-by: Wei Liu <wl@xxxxxxx>
---
 tools/include/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/tools/include/Makefile b/tools/include/Makefile
index ebd5317169..e7b4efcbfd 100644
--- a/tools/include/Makefile
+++ b/tools/include/Makefile
@@ -60,10 +60,7 @@ install: all
        $(INSTALL_DATA) xen/*.h $(DESTDIR)$(includedir)/xen
        $(INSTALL_DATA) xen/arch-x86/*.h $(DESTDIR)$(includedir)/xen/arch-x86
        $(INSTALL_DATA) xen/arch-x86/hvm/*.h 
$(DESTDIR)$(includedir)/xen/arch-x86/hvm
-
-#      xen/arch-arm doesn't contains headers for now. Uncommented the line
-#      as soon as a new header is added
-#      $(INSTALL_DATA) xen/arch-arm/*.h $(DESTDIR)$(includedir)/xen/arch-arm
+       $(INSTALL_DATA) xen/arch-arm/*.h $(DESTDIR)$(includedir)/xen/arch-arm
        $(INSTALL_DATA) xen/arch-arm/hvm/*.h 
$(DESTDIR)$(includedir)/xen/arch-arm/hvm
        $(INSTALL_DATA) xen/foreign/*.h $(DESTDIR)$(includedir)/xen/foreign
        $(INSTALL_DATA) xen/hvm/*.h $(DESTDIR)$(includedir)/xen/hvm
--
generated by git-patchbot for /home/xen/git/xen.git#master