diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-11 21:24:45 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-14 15:15:29 +0200 |
commit | dc73dc4fb217e1b8ecd62ea36486003a9f2979d4 (patch) | |
tree | 0c75ae29a858c918481ec5444607065cd8865b34 /lib/.gitignore | |
parent | 677a91aef25ed4f683362208ad57d6dea18624fe (diff) | |
download | bison-dc73dc4fb217e1b8ecd62ea36486003a9f2979d4.tar.gz |
gnulib: update timevar
See
https://lists.gnu.org/archive/html/bug-gnulib/2018-10/msg00005.html.
Diffstat (limited to 'lib/.gitignore')
-rw-r--r-- | lib/.gitignore | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 08e32e14..cee8729c 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -277,4 +277,15 @@ /timevar.h /sys_time.in.h /sys_times.in.h -/times.c +/gethrxtime.c +/gethrxtime.h +/getrusage.c +/gettime.c +/gettimeofday.c +/localtime-buffer.c +/localtime-buffer.h +/sys_resource.in.h +/timespec.c +/timespec.h +/xtime.c +/xtime.h |