[bug-diffutils] bug#63933: CI failure due to change in gnulib

[Bruno Haible]

Hi Paul,

The diffutils CI reports a build failure today:

...
obsolete_symbols
/usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory
0.01 obsolete_symbols
po_check
--- ../../sources/diffutils/po/POTFILES.in
+++ ../../sources/diffutils/po/POTFILES.in
@@ -4,6 +4,7 @@
 lib/error.c
 lib/file-type.c
 lib/getopt.c
+lib/propername.h
 lib/quotearg.c
 lib/regcomp.c
 lib/version-etc.c
maint.mk: you have changed the set of files with translatable diagnostics;
 apply the above patch
make[3]: *** [../../sources/diffutils/maint.mk:1236: sc_po_check] Error 1

Where 6 days ago, this rule 'sc_po_check' succeeded:

...
obsolete_symbols
/usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory
0.01 obsolete_symbols
po_check
0.02 po_check
prohibit_HAVE_MBRTOWC
/usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory
0.01 prohibit_HAVE_MBRTOWC
...

Probably the cause is that gnulib/lib/propername.h now has a _() invocation
inside comments, per
https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=3f478b6cd3041b85891ff4a3ef1a141f85f82e49

Bruno