mirror of
https://github.com/curl/curl.git
synced 2025-02-11 14:50:40 +08:00
lift: ignore is a deprecated config option, use ignoreRules
Closes #8082
This commit is contained in:
parent
3199eb25dc
commit
f67b4d37b7
@ -1,3 +1,3 @@
|
||||
ignore = [ "DEAD_STORE" ]
|
||||
ignoreRules = [ "DEAD_STORE" ]
|
||||
build = "make"
|
||||
setup = ".lift/setup.sh"
|
||||
|
Loading…
Reference in New Issue
Block a user