diff options
Diffstat (limited to 'debian/patches/disable-warning.patch')
| -rw-r--r-- | debian/patches/disable-warning.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/disable-warning.patch b/debian/patches/disable-warning.patch index c6256b5..f38b07d 100644 --- a/debian/patches/disable-warning.patch +++ b/debian/patches/disable-warning.patch @@ -6,7 +6,7 @@ Index: wasi-libc/Makefile =================================================================== --- wasi-libc.orig/Makefile +++ wasi-libc/Makefile -@@ -310,6 +310,7 @@ CFLAGS += -Wall -Wextra -Werror \ +@@ -315,6 +315,7 @@ CFLAGS += -Wall -Wextra -Werror \ -Wno-missing-braces \ -Wno-ignored-pragmas \ -Wno-unused-but-set-variable \ |