summaryrefslogtreecommitdiff
path: root/data/glr.c
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2018-10-07 10:06:46 +0200
committerAkim Demaille <akim.demaille@gmail.com>2018-10-07 10:41:40 +0200
commit25347d885c73e34297f4d8d1bfaf3e5627068065 (patch)
tree8956c41e90f0920f754f07648735543f5593be29 /data/glr.c
parentfa264a068735912b9ec9193893a5c5b16f4dd836 (diff)
downloadbison-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