[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
wildcard and globstar (was: GNU make troubleshooting)
From: |
Alejandro Colomar |
Subject: |
wildcard and globstar (was: GNU make troubleshooting) |
Date: |
Sun, 16 Jul 2023 16:49:35 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.12.0 |
On 2023-07-16 16:17, Dmitry Goncharov wrote:
> Como estas, Alex?
Muy bien, y tu? =)
>
> On Sun, Jul 16, 2023 at 9:59 AM Alejandro Colomar <alx@kernel.org> wrote:
>> I applied the following patch
>
>> <https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=c98d237c22e9e898ae7d05e2222e7eac47791bd3>
>
> Glad you liked it.
:-)
> Rather than `find -type f...` (which is painfully slow) why don't you
> do something like
> mk:=$(wildcard $(MAKEFILEDIR)/*.mk)
> ?
I guess I'd need some kind of globstar support in GNU Make to be able
to use that (and AFAIK there's no support), since MAKEFILEDIR contains
this:
$ find
.
./lint
./lint/man
./lint/man/man.mk
./lint/man/_.mk
./lint/man/mdoc.mk
./lint/_.mk
./lint/c.mk
./version.mk
./check
./check/_.mk
./check/catman.mk
./compress.mk
./make.mk
./verbose.mk
./cmd.mk
./dist.mk
./src.mk
./build
./build/pre.mk
./build/pdf.mk
./build/groff.mk
./build/html.mk
./build/ps.mk
./build/_.mk
./build/src.mk
./build/catman.mk
./install
./install/man.mk
./install/html.mk
./install/_.mk
Now you mention it, it might be interesting to add support for it.
Cheers,
Alex
>
> regards, Dmitry
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
OpenPGP_signature
Description: OpenPGP digital signature
Re: GNU make troubleshooting, Alejandro Colomar, 2023/07/16
- Re: GNU make troubleshooting, Dmitry Goncharov, 2023/07/16
- wildcard and globstar (was: GNU make troubleshooting),
Alejandro Colomar <=
- Re: wildcard and globstar (was: GNU make troubleshooting), Dmitry Goncharov, 2023/07/16
- Re: wildcard and globstar (was: GNU make troubleshooting), Alejandro Colomar, 2023/07/16
- Re: wildcard and globstar, Andreas Schwab, 2023/07/17
- Re: wildcard and globstar, David Boyce, 2023/07/17
- Re: wildcard and globstar, Paul Smith, 2023/07/17
Re: wildcard and globstar, Alejandro Colomar, 2023/07/17
Re: wildcard and globstar (was: GNU make troubleshooting), Dmitry Goncharov, 2023/07/18
Re: GNU make troubleshooting, Torbjorn SVENSSON, 2023/07/16
Re: GNU make troubleshooting, Philip Guenther, 2023/07/16
Re: GNU make troubleshooting, Alejandro Colomar, 2023/07/16