diff options
author | 2017-07-26 14:17:14 -0700 | |
---|---|---|
committer | 2017-07-31 07:38:43 -0700 | |
commit | 06c42a571358b5e5adb69104b183af8f32f4c07d (patch) | |
tree | 7b218fdb67fef74cdcbc2e3665757485ef89918b /tools/cpplint_presubmit.py | |
parent | 7f14c2ec37c70010d99cab6806d85018df56c555 (diff) |
ART: Move openjdkjvmti to art/
Move libopenjdkjvmti out of the runtime directory. Let's not
pollute the runtime library.
Test: m test-art-host
Change-Id: Idb6b9cebcd61777bd3200437a2ae584a63a4a341
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"} |