c78952
From e2bba0f7ee8e56c68e425853a21a8fdd766add70 Mon Sep 17 00:00:00 2001
78e1a1
From: Peter Jones <pjones@redhat.com>
78e1a1
Date: Fri, 16 Mar 2018 13:28:57 -0400
31cddd
Subject: [PATCH] Work around some minor include path weirdnesses
78e1a1
78e1a1
Signed-off-by: Peter Jones <pjones@redhat.com>
78e1a1
---
78e1a1
 include/grub/arm/efi/console.h    | 24 ++++++++++++++++++++++++
78e1a1
 include/grub/arm64/efi/console.h  | 24 ++++++++++++++++++++++++
78e1a1
 include/grub/i386/efi/console.h   | 24 ++++++++++++++++++++++++
78e1a1
 include/grub/x86_64/efi/console.h | 24 ++++++++++++++++++++++++
78e1a1
 4 files changed, 96 insertions(+)
78e1a1
 create mode 100644 include/grub/arm/efi/console.h
78e1a1
 create mode 100644 include/grub/arm64/efi/console.h
78e1a1
 create mode 100644 include/grub/i386/efi/console.h
78e1a1
 create mode 100644 include/grub/x86_64/efi/console.h
78e1a1
78e1a1
diff --git a/include/grub/arm/efi/console.h b/include/grub/arm/efi/console.h
78e1a1
new file mode 100644
78e1a1
index 00000000000..1592f6f76b5
78e1a1
--- /dev/null
78e1a1
+++ b/include/grub/arm/efi/console.h
78e1a1
@@ -0,0 +1,24 @@
78e1a1
+/*
78e1a1
+ *  GRUB  --  GRand Unified Bootloader
78e1a1
+ *  Copyright (C) 2002,2005,2006,2007  Free Software Foundation, Inc.
78e1a1
+ *
78e1a1
+ *  GRUB is free software: you can redistribute it and/or modify
78e1a1
+ *  it under the terms of the GNU General Public License as published by
78e1a1
+ *  the Free Software Foundation, either version 3 of the License, or
78e1a1
+ *  (at your option) any later version.
78e1a1
+ *
78e1a1
+ *  GRUB is distributed in the hope that it will be useful,
78e1a1
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
78e1a1
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
78e1a1
+ *  GNU General Public License for more details.
78e1a1
+ *
78e1a1
+ *  You should have received a copy of the GNU General Public License
78e1a1
+ *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
78e1a1
+ */
78e1a1
+
78e1a1
+#ifndef GRUB_ARM_EFI_CONSOLE_H
78e1a1
+#define GRUB_ARM_EFI_CONSOLE_H
78e1a1
+
78e1a1
+#include <efi/console.h>
78e1a1
+
78e1a1
+#endif /* ! GRUB_ARM_EFI_CONSOLE_H */
78e1a1
diff --git a/include/grub/arm64/efi/console.h b/include/grub/arm64/efi/console.h
78e1a1
new file mode 100644
78e1a1
index 00000000000..95689339384
78e1a1
--- /dev/null
78e1a1
+++ b/include/grub/arm64/efi/console.h
78e1a1
@@ -0,0 +1,24 @@
78e1a1
+/*
78e1a1
+ *  GRUB  --  GRand Unified Bootloader
78e1a1
+ *  Copyright (C) 2002,2005,2006,2007  Free Software Foundation, Inc.
78e1a1
+ *
78e1a1
+ *  GRUB is free software: you can redistribute it and/or modify
78e1a1
+ *  it under the terms of the GNU General Public License as published by
78e1a1
+ *  the Free Software Foundation, either version 3 of the License, or
78e1a1
+ *  (at your option) any later version.
78e1a1
+ *
78e1a1
+ *  GRUB is distributed in the hope that it will be useful,
78e1a1
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
78e1a1
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
78e1a1
+ *  GNU General Public License for more details.
78e1a1
+ *
78e1a1
+ *  You should have received a copy of the GNU General Public License
78e1a1
+ *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
78e1a1
+ */
78e1a1
+
78e1a1
+#ifndef GRUB_ARM64_EFI_CONSOLE_H
78e1a1
+#define GRUB_ARM64_EFI_CONSOLE_H
78e1a1
+
78e1a1
+#include <efi/console.h>
78e1a1
+
78e1a1
+#endif /* ! GRUB_ARM64_EFI_CONSOLE_H */
78e1a1
diff --git a/include/grub/i386/efi/console.h b/include/grub/i386/efi/console.h
78e1a1
new file mode 100644
78e1a1
index 00000000000..9231375cb07
78e1a1
--- /dev/null
78e1a1
+++ b/include/grub/i386/efi/console.h
78e1a1
@@ -0,0 +1,24 @@
78e1a1
+/*
78e1a1
+ *  GRUB  --  GRand Unified Bootloader
78e1a1
+ *  Copyright (C) 2002,2005,2006,2007  Free Software Foundation, Inc.
78e1a1
+ *
78e1a1
+ *  GRUB is free software: you can redistribute it and/or modify
78e1a1
+ *  it under the terms of the GNU General Public License as published by
78e1a1
+ *  the Free Software Foundation, either version 3 of the License, or
78e1a1
+ *  (at your option) any later version.
78e1a1
+ *
78e1a1
+ *  GRUB is distributed in the hope that it will be useful,
78e1a1
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
78e1a1
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
78e1a1
+ *  GNU General Public License for more details.
78e1a1
+ *
78e1a1
+ *  You should have received a copy of the GNU General Public License
78e1a1
+ *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
78e1a1
+ */
78e1a1
+
78e1a1
+#ifndef GRUB_I386_EFI_CONSOLE_H
78e1a1
+#define GRUB_I386_EFI_CONSOLE_H
78e1a1
+
78e1a1
+#include <efi/console.h>
78e1a1
+
78e1a1
+#endif /* ! GRUB_I386_EFI_CONSOLE_H */
78e1a1
diff --git a/include/grub/x86_64/efi/console.h b/include/grub/x86_64/efi/console.h
78e1a1
new file mode 100644
78e1a1
index 00000000000..dba9d8678d0
78e1a1
--- /dev/null
78e1a1
+++ b/include/grub/x86_64/efi/console.h
78e1a1
@@ -0,0 +1,24 @@
78e1a1
+/*
78e1a1
+ *  GRUB  --  GRand Unified Bootloader
78e1a1
+ *  Copyright (C) 2002,2005,2006,2007  Free Software Foundation, Inc.
78e1a1
+ *
78e1a1
+ *  GRUB is free software: you can redistribute it and/or modify
78e1a1
+ *  it under the terms of the GNU General Public License as published by
78e1a1
+ *  the Free Software Foundation, either version 3 of the License, or
78e1a1
+ *  (at your option) any later version.
78e1a1
+ *
78e1a1
+ *  GRUB is distributed in the hope that it will be useful,
78e1a1
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
78e1a1
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
78e1a1
+ *  GNU General Public License for more details.
78e1a1
+ *
78e1a1
+ *  You should have received a copy of the GNU General Public License
78e1a1
+ *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
78e1a1
+ */
78e1a1
+
78e1a1
+#ifndef GRUB_X86_64_EFI_CONSOLE_H
78e1a1
+#define GRUB_X86_64_EFI_CONSOLE_H
78e1a1
+
78e1a1
+#include <efi/console.h>
78e1a1
+
78e1a1
+#endif /* ! GRUB_X86_64_EFI_CONSOLE_H */