]> git.ipfire.org Git - thirdparty/sqlite.git/commit
Enhance Lemon so that it remembers which -D command-line options are actually
authordrh <>
Thu, 8 Jun 2023 12:52:28 +0000 (12:52 +0000)
committerdrh <>
Thu, 8 Jun 2023 12:52:28 +0000 (12:52 +0000)
commit4fa5952090ad974d6a11952267662d4af338154a
treec2be5e80b962518405aac327bc1dccea674c5c57
parent4eda84a45690163993da141dc05ac3d9539460aa
Enhance Lemon so that it remembers which -D command-line options are actually
used in the grammar and includes a list of all such options in the header
of the generated output file.

FossilOrigin-Name: c47a4dbd24b8277c57b7a83a8c0aeac2bc8f6ab75d1b65ba5e1fa83d1868d95f
manifest
manifest.uuid
tool/lemon.c