summaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorAndrew Guschin <guschin.drew@gmail.com>2023-08-13 17:51:41 +0400
committerAndrew Guschin <guschin.drew@gmail.com>2023-08-13 17:51:41 +0400
commit9b3601717c8cae243667bd6e72adb08476779172 (patch)
tree950f7f809bfeb645689dd5ef6f3f2a6477b69b5b /build.rs
parente8c4828e9e9459f66c0b22ea379f70c4c6c3ba23 (diff)
Add batched generation
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.rs b/build.rs
index e6f102c..f9bb718 100644
--- a/build.rs
+++ b/build.rs
@@ -10,7 +10,7 @@ fn main() {
cc::Build::new()
.file("nauty/geng.c")
.file("nauty/geng-iter.c")
- // .flag("-O3")
+ .flag("-O3")
.flag("-Wno-unused-parameter")
.flag("-Wno-sign-compare")
.flag("-Wno-unused-variable")