Thomas ten Cate
2017-10-24 09:29:59 UTC
URL:
<http://savannah.gnu.org/bugs/?52273>
Summary: Documentation about remaking makefiles should
mention MAKE_RESTARTS
Project: make
Submitted by: thomastc
Submitted on: Tue 24 Oct 2017 09:29:58 AM UTC
Severity: 3 - Normal
Item Group: Documentation
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: 4.2.1
Operating System: Any
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
To resolve the confusion on https://stackoverflow.com/q/46906127/14637, hereby
a small documentation change suggestion.
I'm imagining to add a sentence to
https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html
along the lines of:
... make starts with a clean slate and reads all the makefiles over again. (It
will also attempt to update each of them over again, but normally this will
not change them again, since they are already up to date.) [BEGIN ADDED]During
this second run, MAKE_RESTARTS will be set to 1 (see Special Variables).[END
ADDED]
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?52273>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
<http://savannah.gnu.org/bugs/?52273>
Summary: Documentation about remaking makefiles should
mention MAKE_RESTARTS
Project: make
Submitted by: thomastc
Submitted on: Tue 24 Oct 2017 09:29:58 AM UTC
Severity: 3 - Normal
Item Group: Documentation
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: 4.2.1
Operating System: Any
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
To resolve the confusion on https://stackoverflow.com/q/46906127/14637, hereby
a small documentation change suggestion.
I'm imagining to add a sentence to
https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html
along the lines of:
... make starts with a clean slate and reads all the makefiles over again. (It
will also attempt to update each of them over again, but normally this will
not change them again, since they are already up to date.) [BEGIN ADDED]During
this second run, MAKE_RESTARTS will be set to 1 (see Special Variables).[END
ADDED]
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?52273>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/