|
| From: | Dmitry Goncharov |
| Subject: | [bug #61623] Add a startup optimizaton hint to the manual. |
| Date: | Sun, 5 Dec 2021 16:56:48 -0500 (EST) |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0 |
URL:
<https://savannah.gnu.org/bugs/?61623>
Summary: Add a startup optimizaton hint to the manual.
Project: make
Submitted by: dgoncharov
Submitted on: Sun 05 Dec 2021 09:56:47 PM UTC
Severity: 3 - Normal
Item Group: Documentation
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: SCM
Operating System: None
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
The patch in the attachment adds a hint of how to avoid implicit search for a
rule to remake the makefile.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61623>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |