# HG changeset patch
# User Dirk Olmes <dirk.olmes@codedo.de>
# Date 1595487624 -7200
# Node ID e5f67219ad245a5f8165659044f5146eec341a5b
# Parent  51710c7c26c2562b8544bc2b6f7231d86222adb5
add bootloader updating

diff -r 51710c7c26c2 -r e5f67219ad24 gk.sh
--- a/gk.sh	Tue Jul 21 09:15:13 2020 +0200
+++ b/gk.sh	Thu Jul 23 09:00:24 2020 +0200
@@ -42,6 +42,7 @@
     --no-color \
     --kernel-cc=$COMPILER \
     --utils-cc=$COMPILER \
+    --bootloader=grub2 \
     $GK_OPTS \
     all