From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001

From: Javier Martinez Canillas <javierm@redhat.com>

Date: Thu, 18 Apr 2019 19:16:18 +0200

Subject: [PATCH] Add 10_reset_boot_success to Makefile

This was missing in a previous commit that added this script.

Signed-off-by: Javier Martinez Canillas <javierm@redhat.com>

---

 Makefile.util.def | 6 ++++++

 1 file changed, 6 insertions(+)

diff --git a/Makefile.util.def b/Makefile.util.def

index cae6002d2e3..5062a0e50fa 100644

--- a/Makefile.util.def

+++ b/Makefile.util.def

@@ -515,6 +515,12 @@ script = {

   condition = COND_HOST_LINUX;

 };

+script = {

+  name = '10_reset_boot_success';

+  common = util/grub.d/10_reset_boot_success.in;

+  installdir = grubconf;

+};

+

 script = {

   name = '10_xnu';

   common = util/grub.d/10_xnu.in;