diff options
-rwxr-xr-x | bootstrap.py | 2 |
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. |