mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
* util/update-grub_lib.in: Replace `grub-probe' with `${grub_probe}'.
* util/update-grub.in: Likewise.
* util/update-grub_lib.in: Replace `grub-probe' with `${grub_probe}'.
* util/update-grub.in: Likewise.