summaryrefslogtreecommitdiff
path: root/guix/build/agda-build-system.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2024-02-20 10:46:42 +0100
committerLudovic Courtès <ludo@gnu.org>2024-02-20 10:57:16 +0100
commit34c79c6ae8103ebae9ce08c81a9220a6b82b05f6 (patch)
tree93307a4b292ea08b1066d83df2b064941033c2f0 /guix/build/agda-build-system.scm
parent5d81aa8613e7f9e348ccc9fd83c25d75a900ba37 (diff)
syscalls: ‘processes’ really omits kernel threads.
Fixes a bug whereby ‘processes’ would include kernel threads, thereby leading the ‘stop’ method of ‘user-processes’ to wait indefinitely for a kernel thread. Code taken from the Shepherd. Fixes <https://issues.guix.gnu.org/68800>. * guix/build/syscalls.scm (kernel?): Remove. (linux-process-flags, linux-kernel-thread?, pseudo-process?): New procedures. (PF_KTHREAD): New variable. (processes): Use ‘pseudo-process?’ instead of ‘kernel?’. Reported-by: Tomas Volf <~@wolfsden.cz> Change-Id: I8c439cdaf868a8f899de7fe500ce8bf10e5fc290
Diffstat (limited to 'guix/build/agda-build-system.scm')
0 files changed, 0 insertions, 0 deletions