vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Fix make dist on non-pc.

Browse source
This commit is contained in:
Andrey Borzenkov 2013-06-07 18:23:08 +02:00 • committed by Vladimir 'phcoder' Serbinenko
parent b8578da640
commit cc28411296
5 changed files with 12 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,4 +1,8 @@
2013-06-02 Francesco Lavra <francescolavra.fl@gmail.com>
2013-06-07 Andrey Borzenkov <arvidjaar@gmail.com>
Fix make dist on non-pc.
2013-06-07 Francesco Lavra <francescolavra.fl@gmail.com>
* grub-core/kern/corecmd.c (grub_core_cmd_ls): Fix handling of paths
without a device name.