diff options
author | Vincent Ambo <mail@tazj.in> | 2020-07-19T17·05+0100 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2020-07-19T19·02+0000 |
commit | ca50fb66d26a589dbc2935de68d95716b595a07a (patch) | |
tree | b76434ef4ffaf63887441709bf5d0deb65774900 /third_party | |
parent | 7a8880a0df579eeed7be2121dcd666cdb7e50f07 (diff) |
chore(3p/nix): Update deprecated 'pure-parser' setting r/1402
This setting was renamed to api.pure about 300 years ago and caused warnings to be issued. Change-Id: If883b0667c3afe67ae3d2a9950a796688cfbea7a Reviewed-on: https://cl.tvl.fyi/c/depot/+/1290 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/nix/src/libexpr/parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/nix/src/libexpr/parser.y b/third_party/nix/src/libexpr/parser.y index b272e4b03457..56674ee7ede5 100644 --- a/third_party/nix/src/libexpr/parser.y +++ b/third_party/nix/src/libexpr/parser.y @@ -1,7 +1,7 @@ %glr-parser -%pure-parser %locations %define parse.error verbose +%define api.pure true %defines /* %no-lines */ %parse-param { void * scanner } |