]> Savannah Git Hosting - gnulib.git/commit
parse-datetime: avoid "%pure-parser" deprecation warning from Bison 3.4
authorBernhard Voelker <mail@bernhard-voelker.de>
Thu, 18 Jul 2019 23:17:25 +0000 (01:17 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 19 Jul 2019 02:50:11 +0000 (04:50 +0200)
commite6aaa76729cd845fdd91e50e113bf6fd63d4521f
treecc79ee6746cbee995d46046c424c3a3fff651f81
parentb5a9fa677847081c9b4f26908272f122b15df8b9
parse-datetime: avoid "%pure-parser" deprecation warning from Bison 3.4

* lib/parse-datetime.y: Use "%define api.pure" rather than obsolescent
"%pure-parser".  The former is available since Bison 2.3b (2008, [1]),
while the latter is marked as obsolete since version 3.4 (May 2019, [2]):

  ./lib/parse-datetime.y:568.1-12: warning: deprecated directive, \
    use '%define api.pure' [-Wdeprecated]
  568 | %pure-parser
      | ^~~~~~~~~~~~

[1] https://git.sv.gnu.org/cgit/bison.git/commit/?id=d9df47b656fd
[2] https://git.sv.gnu.org/cgit/bison.git/commit/?id=de5207244b5c
ChangeLog
lib/parse-datetime.y