| commit | 1b05b0a8fba3a732b273b530b7122657bfb69299 | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <alexander.afanasyev@ucla.edu> | Sun Jan 08 11:42:45 2017 -0800 |
| committer | Alex Afanasyev <aa@cs.ucla.edu> | Wed Jan 11 09:56:50 2017 -0800 |
| tree | 5cdcbfae4c0e3a4bf3cf40d79dfd014763418bc5 | |
| parent | 59869d2d9c85208d07316ef84a7cd837628f310a [diff] |
pib: Disable PIB tool by default, it needs refactoring Change-Id: Ib441ba491428c2f7531ff27545d8eeee4c1efb69
diff --git a/tools/wscript b/tools/wscript index b93eb8f..7859de3 100644 --- a/tools/wscript +++ b/tools/wscript
@@ -23,6 +23,8 @@ enabled_tools = set() # --enable-X disabled_tools = set() # --disable-X + Options.options.disable_pib = True + for subdir in conf.path.ant_glob(['*'], dir=True, src=False): tool = str(subdir) all_tools.add(tool)