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

Re: makefile rules

From: Bruno Haible
Subject: Re: makefile rules
Date: Tue, 21 Dec 2021 21:48:38 +0100 
Paul Eggert wrote:
> My preference is to not do the chmod -w, though, as I've found it to be 
> more of a hassle than a help.

Same for me. The first line of the file, with an uppercased warning, is
enough to remind the user that changes to the file are volatile.

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