From 51cca62638f3a9abfb2023f9f0593dd9aeea4354 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 13 Jun 2017 07:13:11 +0200
Subject: build-arch-iso: check kernel

---
 build-arch-iso | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build-arch-iso b/build-arch-iso
index 3b54bd3..8dd50f5 100755
--- a/build-arch-iso
+++ b/build-arch-iso
@@ -7,6 +7,13 @@ if [ "$(whoami)" != "root" ]; then
   exit $?
 fi
 
+pacman -Syu
+
+if [ "$(pacman -Q 'linux' | cut -d' ' -f2)-ARCH" != "$(uname -r)" ]; then
+  >&2 echo 'installed and running kernel versions differ'
+  exit 1
+fi
+
 destination="$(mktemp -d)"
 
 systemctl stop boinc
-- 
cgit v1.2.3-70-g09d2