kitty: Fix patch that doesn't apply in v0.15.0

This commit is contained in:
Antonio Nuno Monteiro 2019-11-29 12:46:26 -08:00
parent 4b5558b7dd
commit ab57084656
No known key found for this signature in database
GPG key ID: 5B5AF478F0A6392D

View file

@ -1,11 +1,11 @@
--- a/setup.py
+++ b/setup.py
@@ -212,7 +212,7 @@
@@ -217,7 +217,7 @@ def init_env(
cflags = os.environ.get(
'OVERRIDE_CFLAGS', (
'-Wextra -Wno-missing-field-initializers -Wall -Wstrict-prototypes -std=c11'
'-Wextra {} -Wno-missing-field-initializers -Wall -Wstrict-prototypes -std={}11'
- ' -pedantic-errors -Werror {} {} -fwrapv {} {} -pipe {} -fvisibility=hidden'
+ ' {} {} -fwrapv {} {} -pipe {} -fvisibility=hidden'
).format(
float_conversion, std,
optimize,
' '.join(sanitize_args),