diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2021-09-10 11:08:23 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2021-09-11 08:26:10 +0200 |
commit | 0343acbe8972895a5a355c8f84dd9637a0558aaf (patch) | |
tree | 658be2558dc3d3e1e5da5f3ab6544da17fec38d4 /lib | |
parent | 5d9ccd5a87f7991c6f52d45e2b57ad0b03e76cf7 (diff) | |
download | bison-0343acbe8972895a5a355c8f84dd9637a0558aaf.tar.gz |
portability: don't use strtof
It is not available on HP-UX 11i.
Reported by Larkin Nickle <me@larbob.org>.
<https://lists.gnu.org/r/bug-bison/2021-09/msg00012.html>
Gnulib provides no replacement, but anyway we should be using doubles,
since difftime uses doubles.
* bootstrap.conf: We want portability on stdtod.
* src/counterexample.c: Use double, not float, for time measurements.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index c132149f..590b7942 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -391,6 +391,7 @@ /stripslash.c /strndup.c /strnlen.c +/strtod.c /strverscmp.c /sys /sys_ioctl.in.h |