diff options
Diffstat (limited to 'etc/config/c.defaults.properties')
| -rw-r--r-- | etc/config/c.defaults.properties | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/etc/config/c.defaults.properties b/etc/config/c.defaults.properties index 8014adbf4..839860b23 100644 --- a/etc/config/c.defaults.properties +++ b/etc/config/c.defaults.properties @@ -59,7 +59,7 @@ compiler.cclangdefault.name=clang default compiler.cclangccdefault.exe=/usr/bin/clangcc compiler.cclangccdefault.name=clang default -tools=clangquerydefault:clangtidydefault +tools=clangquerydefault:clangtidydefault:readelf tools.clangquerydefault.exe=/usr/bin/clang-query tools.clangquerydefault.name=clang-query (default) @@ -73,3 +73,10 @@ tools.clangtidydefault.name=clang-tidy (default) tools.clangtidydefault.type=independent tools.clangtidydefault.class=clang-tidy-tool tools.clangtidydefault.stdinHint=disabled + +tools.readelf.name=readelf (default) +tools.readelf.exe=/usr/bin/readelf +tools.readelf.type=postcompilation +tools.readelf.class=readelf-tool +tools.readelf.exclude=djggp +tools.readelf.stdinHint=disabled |