From 34f4402c7d405017d48bd9858ef23a75d99f4254 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 10 Feb 2020 06:57:45 +0100
Subject: update-me: reboot if `remount ro` unsuccessful

---
 update-me.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update-me.in b/update-me.in
index 2346122..1df456d 100644
--- a/update-me.in
+++ b/update-me.in
@@ -13,7 +13,7 @@ for mp in '/' '/boot'; do
   | grep -qwF 'ro' || continue
   [ "${mp}" = '/boot' ] && [ -d '#ETCDIR#/ports' ] && continue
   preCmds+=('mount -o remount,rw '"${mp}")
-  postCmds+=('mount -o remount,ro '"${mp}")
+  postCmds+=('mount -o remount,ro '"${mp}"' || reboot')
 done
 
 if command -v check-kernel >/dev/null; then
-- 
cgit v1.2.3-54-g00ecf