Ensure files have execute and read permissions after push

Summary:
https://fb.workplace.com/groups/1690415234371429/permalink/8957520387660841/

Binary did not have correct permissions after push. We should ensure that files pushed to the device have correct permissions by adding a chmod on the device.

Reviewed By: Vysarat

Differential Revision: D68301682

fbshipit-source-id: 6cd8d56221c9643232808a1687aaaab8b396914c

Author: Varun Puri

benchmarking/platforms/android/adb.py

@@ -28,10 +28,13 @@ def run(self, *args, **kwargs):
         adb = self._addADB()
         return super(ADB, self).run(adb, *args, **kwargs)
 
-    def push(self, src, tgt):
+    def push(self, src, tgt, chmod="+755"):
         # Always remove the old file before pushing the new file
         self.deleteFile(tgt)
-        return self.run("push", src, tgt)
+        res = self.run("push", src, tgt)
+        if chmod is not None:
+            self.shell(["chmod", chmod, tgt])
+        return res
 
     def pull(self, src, tgt):
         return self.run("pull", src, tgt)