Re: New feature request: custom Makefile location

2023-05-08 Thread Nagy Ákos
Sorry for spam, I omit or I used wrong this option when I test it. It works as I expected. On 2023. 05. 05. 16:34, Eli Zaretskii wrote: Date: Fri, 5 May 2023 12:47:35 +0300 From: Nagy Ákos I want to configure a custom location for a Makefile. I use the make tool as sysadmin, and I use the

Re: New feature request: custom Makefile location

2023-05-05 Thread Eli Zaretskii
> Date: Fri, 5 May 2023 12:47:35 +0300 > From: Nagy Ákos > > I want to configure a custom location for a Makefile. > > I use the make tool as sysadmin, and I use the same makefile for each > usualy docker project, and I need to copy it to all folders where I use > it, and I need to update it

Re: New feature request: custom Makefile location

2023-05-05 Thread Paul Smith
On Fri, 2023-05-05 at 12:47 +0300, Nagy Ákos wrote: > automatic detection: when the make tool don't found the makefile in > local folder, can check an environment variable (ex: > MAKEFILE_LOCATION) and if exist, can use it > > manual flag: can add a new configuration flag to make: make >

New feature request: custom Makefile location

2023-05-05 Thread Nagy Ákos
Hello, I want to configure a custom location for a Makefile. I use the make tool as sysadmin, and I use the same makefile for each usualy docker project, and I need to copy it to all folders where I use it, and I need to update it on all location. Workflow: automatic detection: when the