diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-02-29 19:25:41 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-03-01 06:23:49 +0100 |
commit | 1478fccd23268be02752df6736f0a54b24ebf553 (patch) | |
tree | 5947cdcb75aa4862e93172dc8a7ec85e5434a520 /lib | |
parent | 535281f0ff79d1064961d394a04bfb5066068b09 (diff) | |
download | bison-1478fccd23268be02752df6736f0a54b24ebf553.tar.gz |
gnulib: use readline
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 2bf25738..6bfaa32d 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -96,9 +96,11 @@ /fstrcmp.c /fstrcmp.h /fsync.c +/getdelim.c /getdtablesize.c /gethrxtime.c /gethrxtime.h +/getline.c /getopt-cdefs.h /getopt-cdefs.in.h /getopt-core.h @@ -206,6 +208,8 @@ /raise.c /rawmemchr.c /rawmemchr.valgrind +/readline.c +/readline.h /readlink.c /realloc.c /ref-add.sed |