[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Git master head build failure?

From: Stefan Kangas
Subject: Re: Git master head build failure?
Date: Thu, 1 Apr 2021 03:56:54 -0700

Eli Zaretskii <eliz@gnu.org> writes:

>> I wasn't aware of 'extraclean' and it is not listed in 'make help'.
> Another nit to fix, I guess.

Does this look okay?

diff --git a/GNUmakefile b/GNUmakefile
index f27163840b..0df5a9abba 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -50,6 +50,8 @@ help:
        @echo "make distclean        -- delete all build and configuration 
        @echo "                         leave only files included in source
        @echo "make maintainer-clean -- delete almost everything that can be
+       @echo "make extraclean       -- delete everything that can be
regenerated, as well as"
+       @echo "                         backup and autosave files"
        @echo "make bootstrap        -- delete all compiled files to force a
new bootstrap"
        @echo "                         from a clean slate, then build in
the normal way"
        @echo "make uninstall        -- remove files installed by 'make 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]