From 31abe640c747466e650f32f762553783379e2ce3 Mon Sep 17 00:00:00 2001
From: David P <megver83@parabola.nu>
Date: Mon, 18 Dec 2017 18:36:56 -0300
Subject: upgpkg: libre/linux-libre 4.14.7_gnu-1

---
 libre/linux-libre/linux.install | 1 +
 1 file changed, 1 insertion(+)

(limited to 'libre/linux-libre/linux.install')

diff --git a/libre/linux-libre/linux.install b/libre/linux-libre/linux.install
index 510897956..f1f033b4e 100644
--- a/libre/linux-libre/linux.install
+++ b/libre/linux-libre/linux.install
@@ -3,6 +3,7 @@ post_upgrade() {
     if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then
       echo "WARNING: /boot appears to be a separate partition but is not mounted."
     fi
+  fi
 }
 
 post_remove() {
-- 
cgit v1.2.3