From b0d2382c2dc66775dfe82fe783777c62fc5c4f9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1ty=C3=A1s=20Mustoha?= <mmatyas@inf.u-szeged.hu>
Date: Thu, 27 Oct 2016 17:38:38 +0200
Subject: [PATCH] Update `etc/ci/check_dynamic_symbols.py` to work after the
 latest changes

---
 etc/ci/check_dynamic_symbols.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/etc/ci/check_dynamic_symbols.py b/etc/ci/check_dynamic_symbols.py
index 50b5052a542..47d31e46ee4 100644
--- a/etc/ci/check_dynamic_symbols.py
+++ b/etc/ci/check_dynamic_symbols.py
@@ -9,16 +9,19 @@
 
 from __future__ import absolute_import, print_function
 
-import sys
+import os
 import re
 import subprocess
+import sys
 
 symbol_regex = re.compile(b"D  \*UND\*\t(.*) (.*)$")
 allowed_symbols = frozenset([b'unshare', b'malloc_usable_size'])
 actual_symbols = set()
 
 objdump_output = subprocess.check_output([
-    'arm-linux-androideabi-objdump',
+    os.path.join(
+        os.environ['ANDROID_NDK'], 'toolchains', 'arm-linux-androideabi-4.9',
+        'prebuilt', 'linux-x86_64', 'bin', 'arm-linux-androideabi-objdump'),
     '-T',
     'target/arm-linux-androideabi/debug/libservo.so']
 ).split(b'\n')