grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] build: Include grub-core/extra_deps.lst in dist


From: Olaf Hering
Subject: Re: [PATCH] build: Include grub-core/extra_deps.lst in dist
Date: Thu, 21 Dec 2023 11:50:49 +0100

Thu, 21 Dec 2023 02:42:46 -0800 Oliver Steffen <osteffen@redhat.com>:

> Although its name suggests that it is a generated file (.lst ending!),
> extra_deps.lst is actually tracked in git and is not generated by the
> build system.

I think a simple "echo 'content' > extra_deps.lst" in a Makefile would do.


Olaf

Attachment: pgpp7G6WXhVvw.pgp
Description: Digitale Signatur von OpenPGP


reply via email to

[Prev in Thread] Current Thread [Next in Thread]