[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is the 'diacrit' module still needed?
From: |
Bernhard Voelker |
Subject: |
Re: Is the 'diacrit' module still needed? |
Date: |
Tue, 23 Mar 2021 00:19:26 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
On 3/21/21 10:24 PM, Paul Eggert wrote:
> Today I updated Coreutils to current Gnulib, [...].
Thanks for getting rid of the diacrit module.
The attached also updates the bootstrap script.
BTW: what about a syntax-check rule to ensure we don't forget
to sync files physically copied into 'coreutils.git',
something (not much tested) like the following?
Have a nice day,
Berny
diff --git a/cfg.mk b/cfg.mk
index d65bda2fd..0d103f66b 100644
--- a/cfg.mk
+++ b/cfg.mk
@@ -797,6 +797,15 @@ sc_gitignore_missing:
sort | uniq -u | grep . && { echo '$(ME): Add above' \
'entries to .gitignore' >&2; exit 1; } || :
+# Ensure that physical copies of gnulib files are in sync.
+sc_gnulib_copies_compare:
+ @cd $(srcdir) \
+ && diff COPYING gnulib/doc/COPYINGv3 \
+ && diff bootstrap gnulib/build-aux/bootstrap \
+ && diff tests/init.sh gnulib/tests/init.sh \
+ || { echo '$(ME): files copied from gnulib out of sync' >&2; \
+ exit 1; }
+
# Flag redundant entries in .gitignore
# Disabled for now as too aggressive flagging
# entries like /lib/arg-nonnull.h
0001-maint-update-bootstrap-from-gnulib.patch
Description: Text Data