summaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.rs b/build.rs
index 945f5c8..1467f4c 100644
--- a/build.rs
+++ b/build.rs
@@ -14,6 +14,7 @@ fn main() {
build
.warnings(false)
.flag_if_supported("-std=c11")
+ .flag_if_supported("-O3")
.include("src/non_critical")
.include("src/critical/classic")
.file("src/non_critical/_tools.c")