URL: <https://savannah.gnu.org/bugs/?67822>
Summary: GNU make does not write back the same character it
read from the jobserver
Group: make
Submitter: michalgorny
Submitted: Thu 18 Dec 2025 09:36:44 AM UTC
Severity: 3 - Normal
Priority: 5 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Unlocked
Component Version: 4.4.1
Operating System: POSIX-Based
Fixed Release: None
Triage Status: None
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Thu 18 Dec 2025 09:36:44 AM UTC By: Michał Górny <michalgorny>
The jobserver docs [1] state:
> It’s important that when you release the job slot, you write back the same
> character you read. Don’t assume that all tokens are the same character;
> different characters may have different meanings to GNU make.
However, GNU make as a jobserver client does not respect this rule, and writes
back '+' irrespective of what character it read. This prevents other
jobservers from adding meaning to individual characters.
[1] https://www.gnu.org/software/make/manual/html_node/POSIX-Jobserver.html
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?67822>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
