grub2 rebuild

system/boot/grub2/actions.py

@@ -20,6 +20,7 @@ def setup():
     pisitools.cflags.remove("-fstack-protector", "-fasynchronous-unwind-tables", "-fexceptions", "-fPIC")
     pisitools.cflags.sub("\s?(-O[\ds]|-D_FORTIFY_SOURCE=\d)\s?", " ")
 
+    pisitools.dosed('util/grub-mkconfig.in', 'GRUB_DISABLE_OS_PROBER="true"', 'GRUB_DISABLE_OS_PROBER="false"')
     #shelltools.system("./linguas.sh")
     #shelltools.system("./autogen.sh")
     autotools.configure("--disable-werror \

system/boot/grub2/files/grub-defaults

@@ -52,4 +52,4 @@ GRUB_THEME="/usr/share/grub/themes/pisilinux/theme.txt"
 
 #GRUB_SAVEDEFAULT="true"
 
-GRUB_DISABLE_OS_PROBER="false"
+#GRUB_DISABLE_OS_PROBER="false"

system/boot/grub2/files/update-grub

@@ -1,3 +1,2 @@
 #! /bin/sh
-LC_ALL=C
 grub2-mkconfig -o /boot/grub2/grub.cfg