mirror of
https://github.com/netblue30/firejail.git
synced 2026-05-15 14:16:14 -06:00
[PR #6354] [MERGED] build: allow overriding common tools #5977
Labels
No labels
LTS merge
LTS merge
bug
bug
converted-to-discussion
doc-todo
documentation
duplicate
enhancement
file-transfer
firecfg
firejail-in-firejail
firetools
graphics
help wanted
information_old
installation
invalid
modif
moved
needinfo
networking
notabug
notourbug
old-version
overlayfs
packaging
profile-request
pull-request
question
question_old
removal
runtime-permissions
sandbox-ipc
security
stale
wiki
wiki
wontfix
wordpress
workaround
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/firejail#5977
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/netblue30/firejail/pull/6354
Author: @kmk3
Created: 5/24/2024
Status: ✅ Merged
Merged: 5/29/2024
Merged by: @kmk3
Base:
master← Head:build-tool-vars📝 Commits (2)
5e2f4c3build: define CC/GAWK if undefinedfb11081build: allow overriding common tools📊 Changes
10 files changed (+265 additions, -90 deletions)
View changed files
📝
Makefile(+78 -71)📝
config.mk.in(+3 -0)📝
configure(+144 -0)📝
configure.ac(+3 -0)📝
src/bash_completion/Makefile(+5 -2)📝
src/man/Makefile(+7 -3)📝
src/prog.mk(+4 -1)📝
src/so.mk(+4 -1)📝
src/zsh_completion/Makefile(+5 -2)📝
test/Makefile(+12 -10)📄 Description
Tools:
For the programs not checked in configure.ac:
From the manual of GNU Autoconf (version 2.71):
So set
installjust in the Makefile. Use$(RM)to ensure that-fis always used and to make it easier to spot when
-ris used.See commit
93d623fdf("build: allow overriding certain tools",2024-02-23) / PR #6222.
This is a follow-up to #6342.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.