diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-07 10:06:46 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-07 10:41:40 +0200 |
commit | 25347d885c73e34297f4d8d1bfaf3e5627068065 (patch) | |
tree | 8956c41e90f0920f754f07648735543f5593be29 /data/glr.c | |
parent | fa264a068735912b9ec9193893a5c5b16f4dd836 (diff) | |
download | bison-25347d885c73e34297f4d8d1bfaf3e5627068065.tar.gz |
README: work around a nasty behavior of gettext
`make update-po` runs:
package_gnu="$(PACKAGE_GNU)"; \
test -n "$$package_gnu" || { \
if { if (LC_ALL=C find --version) 2>/dev/null | grep GNU >/dev/null; then \
LC_ALL=C find -L $(top_srcdir) -maxdepth 1 -type f \
-size -10000000c -exec grep 'GNU @PACKAGE@' \
/dev/null '{}' ';' 2>/dev/null; \
else \
LC_ALL=C grep 'GNU @PACKAGE@' $(top_srcdir)/* 2>/dev/null; \
fi; \
} | grep -v 'libtool:' >/dev/null; then \
package_gnu=yes; \
else \
package_gnu=no; \
fi; \
}; \
and based on the result, put GNU or not in the following line from
bison.pot:
# This file is distributed under the same license as the GNU bison package.
It turns out that in my environment some log files had the 'GNU bison'
string (note the lower case), but in distcheck, these files are no
longer visible, so the generate bison.pot was different, and distcheck
failed because we try to update bison.pot, which is read only in
distcheck.
The heuristics should look accept 'GNU Bison', not just 'GNU bison'.
But let's please it to make sure we have our 'GNU'.
* README: Mention 'GNU bison'.
Diffstat (limited to 'data/glr.c')
0 files changed, 0 insertions, 0 deletions