The following issue has been SUBMITTED. ====================================================================== https://austingroupbugs.net/view.php?id=1693 ====================================================================== Reported By: rillig Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1693 Category: Shell and Utilities Type: Clarification Requested Severity: Objection Priority: normal Status: New Name: Roland Illig Organization: User Reference: Section: make Page Number: 3105 Line Number: 104539, 104755 Final Accepted Text: ====================================================================== Date Submitted: 2023-05-07 11:29 UTC Last Modified: 2023-05-07 11:29 UTC ====================================================================== Summary: Align behavior of -s with existing practice Description: Line 104539 says: > Do not write makefile command lines
Line 104755 says: > An _execution line_ is built from the command line by removing any prefix characters. Both GNU and BSD make write the _execution line_, not the _command line_, contradicting the specification. I didn't test other implementations but I guess the specification doesn't codify historical practice in this case. Desired Action: In line 104539, change: <blockquote>Do not write makefile command lines</blockquote> to: <blockquote>Do not write makefile execution lines</blockquote> Add a cross reference to the term 'execution line'. ====================================================================== Issue History Date Modified Username Field Change ====================================================================== 2023-05-07 11:29 rillig New Issue 2023-05-07 11:29 rillig Name => Roland Illig 2023-05-07 11:29 rillig Section => make 2023-05-07 11:29 rillig Page Number => 3105 2023-05-07 11:29 rillig Line Number => 104539, 104755 ======================================================================
