diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-12-17 15:14:33 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:42:49 +0200 |
| commit | f6a77c1ab28f07c496f799ff0bdb953b1fe628b2 (patch) | |
| tree | 7a5412b2857cdb7d069fe27aa6937ffbd5f241b2 /.mumi | |
| parent | 6538474df71c8526ea8a50fcce69bfb155fe60a6 (diff) | |
| download | guix-f6a77c1ab28f07c496f799ff0bdb953b1fe628b2.tar.gz guix-f6a77c1ab28f07c496f799ff0bdb953b1fe628b2.zip | |
build-system/gnu: Turn PID 1 into an “init”-style process by default.
Fixes <https://issues.guix.gnu.org/30948>.
* guix/build/gnu-build-system.scm (separate-from-pid1): New procedure.
(%standard-phases): Add it.
* guix/build-system/gnu.scm (gnu-build): Add #:separate-from-pid1? and
honor it.
(gnu-cross-build): Likewise.
Reported-by: Carlo Zancanaro <carlo@zancanaro.id.au>
Change-Id: I6f3bc8d8186d1a571f983a38d5e3fd178ffa2678
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions