[bug #52273] Documentation about remaking makefiles should mention MAKE_RESTARTS

[Thomas ten Cate]

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/