diff options
Diffstat (limited to 'coredata.py')
| -rw-r--r-- | coredata.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coredata.py b/coredata.py index dbb0c710b..e216428bd 100644 --- a/coredata.py +++ b/coredata.py @@ -215,6 +215,7 @@ forbidden_target_names = {'clean': None, 'all': None, 'test': None, 'test-valgrind': None, + 'benchmark': None, 'install': None, 'build.ninja': None, } |
