From 9b3601717c8cae243667bd6e72adb08476779172 Mon Sep 17 00:00:00 2001
From: Andrew Guschin <guschin.drew@gmail.com>
Date: Sun, 13 Aug 2023 17:51:41 +0400
Subject: Add batched generation

---
 build.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.rs')

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")
-- 
cgit v1.2.3