[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU make troubleshooting
From: |
Alejandro Colomar |
Subject: |
Re: GNU make troubleshooting |
Date: |
Sun, 16 Jul 2023 23:00:24 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.12.0 |
On 2023-07-16 22:14, Philip Guenther wrote:
> I just put this at the very end of top makefile:
>
> ${MAKEFILE_LIST}: ;
Hmm, that's giving me another good idea. Luckily, I haven't pushed the
changes I had done yet.
Thanks!
Alex
>
> Philip Guenther
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
OpenPGP_signature
Description: OpenPGP digital signature
- wildcard and globstar (was: GNU make troubleshooting), (continued)
- wildcard and globstar (was: GNU make troubleshooting), Alejandro Colomar, 2023/07/16
- 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 <=
Re: GNU make troubleshooting, Paul Smith, 2023/07/17