mirror of
https://git.freebsd.org/ports.git
synced 2025-04-29 01:56:37 -04:00
310466c582
Revive grub2-pcbsd and grub2-efi ports. Thanks to lwhsu for valuable input. Approved by: lwhsu
14 lines
362 B
Text
14 lines
362 B
Text
--- util/grub-mkconfig.in.orig 2015-06-03 14:54:01 UTC
|
|
+++ util/grub-mkconfig.in
|
|
@@ -281,3 +281,11 @@ fi
|
|
|
|
gettext "done" >&2
|
|
echo >&2
|
|
+
|
|
+# If pcbsd-utils are installed, the restamp-grub command will exist
|
|
+# Use it to do the grub-install and copy grub.cfg to other BEs
|
|
+which restamp-grub >/dev/null 2>/dev/null
|
|
+if [ $? -eq 0 ] ; then
|
|
+ restamp-grub
|
|
+fi
|
|
+
|