View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0001707Issue 8 draftsShell and Utilitiespublic2023-05-07 13:272024-06-11 09:12
Reporterrillig Assigned To 
PrioritynormalSeverityEditorialTypeClarification Requested
Status ClosedResolutionAccepted As Marked 
Product VersionDraft 3 
NameRoland Illig
Organization
User Reference
Sectionmake
Page Number3110
Line Number104786
Final Accepted TextSee 0001707:0006353
Summary0001707: Clarify meaning of 'use'
DescriptionLine 104786 says:
> If the makefile uses this special target, [...]

Does this wording mean that if the makefile merely _defines_ a .DEFAULT target but doesn't actually use it, the application need not 'ensure that it is specified with commands, but without prerequisites'?
Desired ActionReword line 104786 to avoid the above uncertainty.
Tagsapplied_after_i8d3, issue8

Activities

nick

2023-06-26 15:33

manager   bugnote:0006353

Last edited: 2023-06-26 15:35

 Page 3110 line 104786 Replace

If the makefile uses this special target

with

If the makefile contains this special target

Issue History

Date Modified Username Field Change
2023-05-07 13:27 rillig New Issue
2023-05-07 13:27 rillig Name => Roland Illig
2023-05-07 13:27 rillig Section => make
2023-05-07 13:27 rillig Page Number => 3110
2023-05-07 13:27 rillig Line Number => 104786
2023-06-26 15:33 nick Note Added: 0006353
2023-06-26 15:33 nick Status New => Resolved
2023-06-26 15:33 nick Resolution Open => Accepted As Marked
2023-06-26 15:33 nick Final Accepted Text => See 0001707:0006353
2023-06-26 15:33 nick Tag Attached: issue8
2023-06-26 15:34 nick Note Edited: 0006353
2023-06-26 15:35 nick Note Edited: 0006353
2023-07-18 10:51 geoffclare Status Resolved => Applied
2023-07-18 10:51 geoffclare Tag Attached: applied_after_i8d3
2024-06-11 09:12 agadmin Status Applied => Closed