From 1c8795d93d1577e860caacac51beb56a0b902943 Mon Sep 17 00:00:00 2001 From: Avril Date: Wed, 24 Mar 2021 18:30:22 +0000 Subject: [PATCH] added -Wextra --- build.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/build.rs b/build.rs index 7fbb466..5f72cca 100644 --- a/build.rs +++ b/build.rs @@ -9,6 +9,7 @@ fn build_tramp() builder.flag("--std=c99") .flag("-W") .flag("-Wall") + .flag_if_supported("-Wextra") .flag("-Werror") .flag("-pedantic") .opt_level(3)