mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 16:49:23 +00:00
* conf/Makefile.extra-dist: Fix extra-dist list.
* grub-core/Makefile.core.def: Likewise.
This commit is contained in:
1 parent
f72ab14e4a
commit
ed8c0887f4
3 files changed
+43
-16
No files matched your search
@@ -233,6 +233,7 @@ kernel = {
|
||||
arm = kern/arm/dl_helper.c;
|
||||
arm = kern/arm/cache_armv6.S;
|
||||
arm = kern/arm/cache_armv7.S;
|
||||
extra_dist = kern/arm/cache.S;
|
||||
arm = kern/arm/cache.c;
|
||||
arm = kern/arm/misc.S;
|
||||
|
||||
|
||||
Reference in new issue
Block a user