Shuffling kernel/.

2015-09-06 18:07:52 -07:00
parent 494cba7131
commit e5fbf840d2
118 changed files with 749 additions and 620 deletions
--- a/2
+++ b/2
@@ -967,7 +967,7 @@ class StyleCommand(Command):
        'build_tools/third_party/google-styleguide/cpplint/cpplint.py',
        '--output=vs7',
        '--linelength=80',
-        '--filter=-build/c++11',
+        '--filter=-build/c++11,+build/include_alpha',
        '--root=src',
        ] + all_files, throw_on_error=False)
    print('')