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

[PATCH] make.texi (Remaking Makefiles): Mention MAKE_RESTARTS

From: Florian Weimer
Subject: [PATCH] make.texi (Remaking Makefiles): Mention MAKE_RESTARTS
Date: Tue, 24 Oct 2017 11:27:56 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0
I think it makes sense to mention MAKE_RESTARTS in the section on remaking makefiles. 

Thanks,
Florian

Attachment: 0001-make.texi-Remaking-Makefiles-Mention-MAKE_RESTARTS.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]