diff options
| author | 2017-07-31 19:54:08 +0000 | |
|---|---|---|
| committer | 2017-07-31 19:54:08 +0000 | |
| commit | 98d37952eae4175c44fc2f31e414727ae591a421 (patch) | |
| tree | 7b218fdb67fef74cdcbc2e3665757485ef89918b /tools/cpplint_presubmit.py | |
| parent | 7f14c2ec37c70010d99cab6806d85018df56c555 (diff) | |
| parent | 06c42a571358b5e5adb69104b183af8f32f4c07d (diff) | |
Merge "ART: Move openjdkjvmti to art/"
Diffstat (limited to 'tools/cpplint_presubmit.py')
| -rwxr-xr-x | tools/cpplint_presubmit.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/cpplint_presubmit.py b/tools/cpplint_presubmit.py index 478151736f..b42a6913dc 100755 --- a/tools/cpplint_presubmit.py +++ b/tools/cpplint_presubmit.py @@ -21,7 +21,7 @@ import pathlib import subprocess import sys -IGNORED_FILES = {"runtime/elf.h", "runtime/openjdkjvmti/include/jvmti.h"} +IGNORED_FILES = {"runtime/elf.h", "openjdkjvmti/include/jvmti.h"} INTERESTING_SUFFIXES = {".h", ".cc"} |