From 27c13370cb015f6edd00c686860065e3571ce56a Mon Sep 17 00:00:00 2001
From: Eric Biggers <ebiggers3@gmail.com>
Date: Sun, 19 Mar 2017 12:24:13 -0700
Subject: [PATCH] run_tests.sh: run tests on arm64

---
 tools/run_tests.sh | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/tools/run_tests.sh b/tools/run_tests.sh
index 2531c2c..e7840cb 100755
--- a/tools/run_tests.sh
+++ b/tools/run_tests.sh
@@ -133,12 +133,8 @@ native_tests() {
 
 ###############################################################################
 
-android_build() {
-	run_cmd ./tools/android_build.sh --ndkdir="$NDKDIR" "$@"
-}
-
 android_build_and_test() {
-	android_build "$@"
+	run_cmd ./tools/android_build.sh --ndkdir="$NDKDIR" "$@"
 	run_cmd adb push "${FILES[@]}" /data/local/tmp/
 
 	# Note: adb shell always returns 0, even if the shell command fails...
@@ -179,8 +175,7 @@ android_tests() {
 		android_build_and_test --arch=arm --compiler=$compiler \
 				       --disable-neon
 
-		# arm64: currently compiled but not run
-		android_build --arch=arm64 --compiler=$compiler
+		android_build_and_test --arch=arm64 --compiler=$compiler
 	done
 }