diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-14 09:13:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-16 07:58:40 +0200 |
commit | e077bf1ebcdcd91de5de8944be3bf3c35a00b1fe (patch) | |
tree | c9df150870832a74bea539cca23c7de61ef54889 /bootstrap.conf | |
parent | c35e829a762ef62b83a7843507ffbae847353a08 (diff) | |
download | bison-e077bf1ebcdcd91de5de8944be3bf3c35a00b1fe.tar.gz |
cex: don't assume the terminal supports "•"
Use of print_unicode_char suggested by Bruno Haible.
https://lists.gnu.org/r/bug-gettext/2020-06/msg00012.html
* src/gram.h (print_dot_fallback, print_dot): New.
* src/gram.c, src/derivation.c: Use it.
* tests/counterexample.at, tests/report.at: Adjust the test suite.
* .travis.yml, README-hacking.md: Adjust.
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 453c4efb..d83c70d5 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -46,7 +46,7 @@ gnulib_modules=' rename spawn-pipe stdbool stpcpy strdup-posix strerror strverscmp timevar - unistd unistd-safer unlink unlocked-io + unicodeio unistd unistd-safer unlink unlocked-io update-copyright unsetenv verify warnings winsz-ioctl |