diff options
Diffstat (limited to 'utils/setools/patches/010-fewer-warnings.patch')
| -rw-r--r-- | utils/setools/patches/010-fewer-warnings.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/utils/setools/patches/010-fewer-warnings.patch b/utils/setools/patches/010-fewer-warnings.patch new file mode 100644 index 000000000..d81a9c6e4 --- /dev/null +++ b/utils/setools/patches/010-fewer-warnings.patch @@ -0,0 +1,11 @@ +diff -u --recursive setools-vanilla/setup.py setools/setup.py +--- setools-vanilla/setup.py 2020-04-01 09:57:49.000000000 -0500 ++++ setools/setup.py 2020-08-12 21:44:41.265149504 -0500 +@@ -109,7 +109,6 @@ + extra_compile_args=['-Werror', '-Wextra', + '-Waggregate-return', + '-Wfloat-equal', +- '-Wformat', '-Wformat=2', + '-Winit-self', + '-Wmissing-format-attribute', + '-Wmissing-include-dirs', |