> Date: Fri, 5 May 2023 12:47:35 +0300 > From: Nagy Ákos <nagy.a...@libreoffice.ro> > > 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 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 > --location=/home/user/
How is this different from saying $ make -f /path/to/location/Makefile ?
