| Index: mandoline/tools/android/install_mandoline.py
|
| diff --git a/mandoline/tools/android/install_mandoline.py b/mandoline/tools/android/install_mandoline.py
|
| index 4fd770309d2fffac147224fe1e8a8462923e66c7..0f9387e4efb514141ef810bcb0e82742630eeba9 100755
|
| --- a/mandoline/tools/android/install_mandoline.py
|
| +++ b/mandoline/tools/android/install_mandoline.py
|
| @@ -27,12 +27,14 @@ def main():
|
| default=True, action='store_true')
|
| debug_group.add_argument('--release', help='Release build', default=False,
|
| dest='debug', action='store_false')
|
| + parser.add_argument('--build-dir', help='Build directory')
|
| parser.add_argument('--target-cpu', help='CPU architecture to run for.',
|
| choices=['x64', 'x86', 'arm'], default='arm')
|
| parser.add_argument('--device', help='Serial number of the target device.')
|
| runner_args, args = parser.parse_known_args()
|
|
|
| - config = Config(target_os=Config.OS_ANDROID,
|
| + config = Config(build_dir=runner_args.build_dir,
|
| + target_os=Config.OS_ANDROID,
|
| target_cpu=runner_args.target_cpu,
|
| is_debug=runner_args.debug,
|
| apk_name='Mandoline.apk')
|
|
|