diff options
author | 2017-07-26 14:17:14 -0700 | |
---|---|---|
committer | 2017-07-31 07:38:43 -0700 | |
commit | 06c42a571358b5e5adb69104b183af8f32f4c07d (patch) | |
tree | 7b218fdb67fef74cdcbc2e3665757485ef89918b /build/Android.cpplint.mk | |
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 'build/Android.cpplint.mk')
-rw-r--r-- | build/Android.cpplint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/Android.cpplint.mk b/build/Android.cpplint.mk index 66ac897f76..2688c049d5 100644 --- a/build/Android.cpplint.mk +++ b/build/Android.cpplint.mk @@ -22,7 +22,7 @@ ART_CPPLINT_FLAGS := --root=$(TOP) ART_CPPLINT_QUIET := --quiet ART_CPPLINT_INGORED := \ runtime/elf.h \ - runtime/openjdkjvmti/include/jvmti.h + openjdkjvmti/include/jvmti.h # This: # 1) Gets a list of all .h & .cc files in the art directory. |