diff options
| author | 2016-09-26 17:37:19 -0700 | |
|---|---|---|
| committer | 2016-09-26 17:37:19 -0700 | |
| commit | e68100e8bbf6bd5f203976e3ce340f231c616da5 (patch) | |
| tree | 4597b29428132507fe5581672dbb7831a8ed9488 /tools/fileslist_util.py | |
| parent | b0553ca65b141e0a6a66be7115d86388b476ad8f (diff) | |
Remove WITH_SYNTAX_CHECK
It's no longer used. The majority of the platform is on clang anyways.
Test: m -j
Change-Id: I4fb4375eaad2469e169d34c47ae3fe2a0540aeec
Diffstat (limited to 'tools/fileslist_util.py')
0 files changed, 0 insertions, 0 deletions