[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updating mumi on berlin
From: |
Ludovic Courtès |
Subject: |
Re: Updating mumi on berlin |
Date: |
Sun, 08 May 2022 00:20:10 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Maxim Cournoyer <maxim.cournoyer@gmail.com> skribis:
> Yes, that would be the correct and general solution (I hope you get to
> fix it, else I may look into it in some time). Workarounds currently in
> use can be seen in our mutter package definition (it's a bit convoluted,
> having to fork a process in which we set the child reaping property and
> invoke the test suite via tini, acting as a fake PID 1).
The Guile process running the build script (with the build phases) runs
as PID 1. So how about doing one of these:
1. Add a final phase that does (waitpid WAIT_ANY).
2. Add a SIGCHLD handler that calls ‘waitpid’.
I suspect the former is enough.
Eventually, we should do one of these in gnu-build-system.scm, as in:
https://issues.guix.gnu.org/30948#2
WDYT?
Ludo’.
- Re: Updating mumi on berlin, zimoun, 2022/05/02
- Re: Updating mumi on berlin, Arun Isaac, 2022/05/03
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/03
- Re: Updating mumi on berlin, zimoun, 2022/05/04
- Re: Updating mumi on berlin, Kyle Meyer, 2022/05/04
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/04
- Re: Updating mumi on berlin, Maxim Cournoyer, 2022/05/05
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/05
- Re: Updating mumi on berlin,
Ludovic Courtès <=
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/07
- Re: Updating mumi on berlin, Ludovic Courtès, 2022/05/15
- Re: Updating mumi on berlin, Maxime Devos, 2022/05/16
- Re: Updating mumi on berlin, zimoun, 2022/05/05
- public-inbox v1.7 update (was: Updating mumi on berlin), Kyle Meyer, 2022/05/05
- Re: public-inbox v1.7 update (was: Updating mumi on berlin), zimoun, 2022/05/06
- Re: public-inbox v1.7 update (was: Updating mumi on berlin), Kyle Meyer, 2022/05/08
- Re: public-inbox v1.7 update (was: Updating mumi on berlin), zimoun, 2022/05/09
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/06
- Re: Updating mumi on berlin, zimoun, 2022/05/06