mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-20 22:48:22 +00:00
fix a configure bug.
This commit is contained in:
1 parent
9bfb72e5d8
commit
55d36b7e2b
5 files changed
+10
-3