diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2022-09-13 08:25:59 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2022-09-16 06:03:28 +0200 |
| commit | c0258915474496874318f4767ba6ebcc1e9471f0 (patch) | |
| tree | 2ad0cb53bf1fd235e37d5f4991fba12ee52fa22b /m4/.gitignore | |
| parent | 15b97a0a6ab49a148cdfbe7d06d12b2624a33f97 (diff) | |
| download | bison-c0258915474496874318f4767ba6ebcc1e9471f0.tar.gz | |
cex: provide the user with a means to change the timeout
Reported by Frank Heckenbach.
https://lists.gnu.org/r/bug-bison/2022-07/msg00011.html
* bootstrap.conf: Use c_strtod, so that even in French locales "1.5"
is accepted, instead of "1,5".
* src/counterexample.c, src/state-item.c: Use xtime_t instead of
time_t, so that accuracy goes from seconds to nanoseconds.
( counterexample_init): Depend on cex.timeout rather than
$TIME_LIMIT.
* doc/bison.texi (%define Summary): Document cex.timeout.
Diffstat (limited to 'm4/.gitignore')
| -rw-r--r-- | m4/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/m4/.gitignore b/m4/.gitignore index c3a50c44..4748c6e0 100644 --- a/m4/.gitignore +++ b/m4/.gitignore @@ -7,6 +7,7 @@ /asm-underscore.m4 /assert.m4 /builtin-expect.m4 +/c-strtod.m4 /calloc.m4 /canonicalize.m4 /chdir-long.m4 @@ -83,6 +84,7 @@ /include_next.m4 /inline.m4 /intdiv0.m4 +/intl-thread-locale.m4 /intl.m4 /intldir.m4 /intlmacosx.m4 |