bug-make
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #57676] openjdk11 fails to build with make 4.3

From: Paul D. Smith
Subject: [bug #57676] openjdk11 fails to build with make 4.3
Date: Sun, 6 Dec 2020 10:04:32 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/87.0.4280.66 Safari/537.36 
Update of bug #57676 (project make):

                  Status:                    None => Fixed                  
             Assigned to:                    None => psmith                 
             Open/Closed:                    Open => Closed                 
           Fixed Release:                    None => SCM                    
           Triage Status:                    None => Small Effort           

    _______________________________________________________

Follow-up Comment #12:

Thanks for the investigation.  I fixed this along the lines of Dmitry's fix
but I think there's no need to recompute name_mtime here: it should be
sufficient to reset the value to 0 so it's recomputed later.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?57676>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]