1 files changed, 2 insertions, 0 deletions
diff --git a/bootstrap.py b/bootstrap.py
index 3aac647..9ac46ba 100755
--- a/bootstrap.py
+++ b/bootstrap.py
@@ -53,6 +53,8 @@ sources = []
 for src in glob.glob('src/*.cc'):
     if src.endswith('test.cc') or src.endswith('.in.cc'):
         continue
+    if src.endswith('bench.cc'):
+        continue
 
     filename = os.path.basename(src)
     if filename == 'browse.cc':  # Depends on generated header.