From ebd084009039e9420121ca21a331f59d47e1db76 Mon Sep 17 00:00:00 2001
From: Icarus Sparry <icarus.w.sparry@intel.com>
Date: Tue, 10 Oct 2017 13:44:20 -0700
Subject: [PATCH] Do not delete /usr/lib/kernel

Add /lib/kernel as the files to skip in addition to /lib/modules as
these are managed by clear-boot-manager.

Fixes #313

Signed-off-by: Icarus Sparry <icarus.w.sparry@intel.com>
---
 src/extra_files.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/extra_files.c b/src/extra_files.c
index 4f3c4bab..9688d939 100644
--- a/src/extra_files.c
+++ b/src/extra_files.c
@@ -57,6 +57,7 @@ static struct fileskip {
 	int len;
 } skip_dirs[] =
     { { shortname : "/lib/modules" },
+      { shortname : "/lib/kernel" },
       { shortname : "/local" } };
 static int path_prefix_len;