commit 06c42a571358b5e5adb69104b183af8f32f4c07d
author Andreas Gampe <agampe@google.com> Wed Jul 26 14:17:14 2017 -0700
committer Andreas Gampe <agampe@google.com> Mon Jul 31 07:38:43 2017 -0700
tree 7b218fdb67fef74cdcbc2e3665757485ef89918b
parent 7f14c2ec37c70010d99cab6806d85018df56c555

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

build/Android.cpplint.mk

diff --git a/build/Android.cpplint.mk b/build/Android.cpplint.mk
index 66ac897..2688c04 100644
--- a/build/Android.cpplint.mk
+++ b/build/Android.cpplint.mk
@@ -22,7 +22,7 @@
 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.