diff options
author | Patrick Steinhardt <psteinhardt@gitlab.com> | 2020-07-01 14:13:28 +0300 |
---|---|---|
committer | Patrick Steinhardt <psteinhardt@gitlab.com> | 2020-07-01 14:13:28 +0300 |
commit | c7f2a1704a82149a4658a0b79e43dd94b062f5be (patch) | |
tree | ad06f3931d8c9ff9c69918e58414777ae2862694 /.gitignore | |
parent | 217488fc7c2c8e679b43839ee473ef4310771ed5 (diff) |
Makefile: Allow overriding defaults via a config file
While it's possible to override quite some different things of our
Makefiles, doing so is burdensome as the developer needs to keep in mind
to always pass those parameters to any calls of make(1). So let's make
this configurable in a persistent way by including an optional
"config.mak" file that may contain options set up by the developer. All
the developer now needs to do is write all variables he wants to
override into that file and then he's good to go.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 1f3382f5c..25909590c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ /_build +/config.mak /gitaly /gitaly-hooks cmd/gitaly-ssh/gitaly-ssh |