diff options
author | 2024-02-23 18:09:05 -0300 | |
---|---|---|
committer | 2024-02-24 18:50:43 -0300 | |
commit | 93d623fdf9bee70bfae50168ac163825361f38e0 (patch) | |
tree | 4d944eee9eebdfc7c639577a685769c470a93a01 /.github | |
parent | profiles: drop paths already in wusc (#6218) (diff) | |
download | firejail-93d623fdf9bee70bfae50168ac163825361f38e0.tar.gz firejail-93d623fdf9bee70bfae50168ac163825361f38e0.tar.zst firejail-93d623fdf9bee70bfae50168ac163825361f38e0.zip |
build: allow overriding certain tools
Allow overriding the following tools at configure-time and build-time:
* codespell
* cppcheck
* gawk
* scan-build
For example, instead of hardcoding `gawk`, enable overriding it at
configure-time with:
./configure GAWK=/path/to/gawk
To override it for a single `make` invocation:
make GAWK=/path/to/gawk
Also, add default values for the programs that are not found (rather
than leaving the variables empty), to make error messages clearer when
trying to run them:
$ make CPPCHECK= cppcheck-old
[...]
force --error-exitcode=1 --enable=warning,performance .
make: force: No such file or directory
$ make CPPCHECK=cppcheck cppcheck-old
[...]
cppcheck --force --error-exitcode=1 --enable=warning,performance .
make: cppcheck: No such file or directory
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions