From 8110f2f2213dac5be74efc46283604a1c16348eb Mon Sep 17 00:00:00 2001
From: Cheng Zhao <zcbenz@gmail.com>
Date: Thu, 2 Jul 2015 07:19:39 +0000
Subject: [PATCH] Call correct strip for arm target

---
 script/create-dist.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/script/create-dist.py b/script/create-dist.py
index da2efb3ef1cf..5d52234b5681 100755
--- a/script/create-dist.py
+++ b/script/create-dist.py
@@ -129,9 +129,13 @@ def copy_license():
 
 
 def strip_binaries():
+  if get_target_arch() == 'arm':
+    strip = 'arm-linux-gnueabihf-strip'
+  else:
+    strip = 'strip'
   for binary in TARGET_BINARIES[PLATFORM]:
     if binary.endswith('.so') or '.' not in binary:
-      execute(['strip', os.path.join(DIST_DIR, binary)])
+      execute([strip, os.path.join(DIST_DIR, binary)])
 
 
 def copy_system_libraries():