30 lines
812 B
Diff
30 lines
812 B
Diff
|
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;
|