[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
New feature request: custom Makefile location
From: |
Nagy Ákos |
Subject: |
New feature request: custom Makefile location |
Date: |
Fri, 5 May 2023 12:47:35 +0300 |
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 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/
--
Nagy Ákos
libreoffice.ro
smime.p7s
Description: S/MIME Cryptographic Signature
- New feature request: custom Makefile location,
Nagy Ákos <=