From 736e39525d7e31ad3808478653ac2cdad039c6c8 Mon Sep 17 00:00:00 2001
From: Julien Cristau <jcristau@debian.org>
Date: Tue, 12 Sep 2017 15:33:11 +0200
Subject: [PATCH] Don't set grub_do_nopat or grub_do_extra unless grub_manage
 is set

---
 modules/grub/manifests/init.pp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/modules/grub/manifests/init.pp b/modules/grub/manifests/init.pp
index 7d9a1816f..989d44423 100644
--- a/modules/grub/manifests/init.pp
+++ b/modules/grub/manifests/init.pp
@@ -25,11 +25,12 @@ class grub {
 		$grub_manage = false
 	}
 
-	# hp-health requires nopat on linux 4.9
-	$grub_do_nopat = ($::systemproductname =~ /^ProLiant/ and versioncmp($::kernelversion, '4.9') >= 0)
-	$grub_do_extra = $::hostname in [fasolo]
-
 	if $grub_manage {
+		# hp-health requires nopat on linux 4.9
+		$grub_do_nopat = ($::systemproductname =~ /^ProLiant/ and versioncmp($::kernelversion, '4.9') >= 0)
+
+		$grub_do_extra = $::hostname in [fasolo]
+
 		file { '/etc/default/grub':
 			# restore to default
 			source => 'puppet:///modules/grub/etc-default-grub',
-- 
2.20.1