diff options
author | Steve Block <steveblock@google.com> | 2012-02-17 16:47:06 +0000 |
---|---|---|
committer | Steve Block <steveblock@google.com> | 2012-02-21 11:49:49 +0000 |
commit | 13c343328386eea539a0c767c2f5d62b1440cbf3 (patch) | |
tree | b499855698567092b9553256044fc8a474ca3900 /Android.mk | |
parent | 61c64bd8200079056c911962a23938b22f9f09b3 (diff) | |
download | external_webkit-13c343328386eea539a0c767c2f5d62b1440cbf3.zip external_webkit-13c343328386eea539a0c767c2f5d62b1440cbf3.tar.gz external_webkit-13c343328386eea539a0c767c2f5d62b1440cbf3.tar.bz2 |
Remove benchmark tool
This relies on use of the Android HTTP stack, which hasn't been used since
before HC, so is of little value.
Bug: 5458617
Change-Id: I6312736cb139cd7a4e295e1cb6390d2a797fd37b
Diffstat (limited to 'Android.mk')
-rw-r--r-- | Android.mk | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -390,8 +390,5 @@ include $(BUILD_SHARED_LIBRARY) # Build the wds client include $(WEBKIT_PATH)/android/wds/client/Android.mk -# Build the performance command line tool. -include $(WEBKIT_PATH)/android/benchmark/Android.mk - # Build the webkit merge tool. include $(BASE_PATH)/Tools/android/webkitmerge/Android.mk |