mirror of
git://git.git.savannah.gnu.org/grub.git
synced 2026-08-18 22:45:49 +00:00
3a82f8bb48
Copying the themes directory in grub-shell isn't parallel-test-friendly and breaks on the second test when the source directory is read-only (as in "make distcheck"). Instead, add a hidden --themes-directory option to grub-mkrescue et al, and use it in grub-shell.