mirror of
https://git.freebsd.org/ports.git
synced 2025-05-14 00:01:52 -04:00
12f393e711
- Brings in newer GRUB from upstream git as of 6/4/2015 - Pet portlint - Update pkg-message
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
|
|
+
|