| Index: tools/utils.py
|
| diff --git a/tools/utils.py b/tools/utils.py
|
| index 54a53a8646504049fb59603dde3a5b8412a4bb33..a81c7e6749093c47d25acbe5246a4c9bab33ed11 100644
|
| --- a/tools/utils.py
|
| +++ b/tools/utils.py
|
| @@ -437,7 +437,12 @@ def DartBinary():
|
| if IsWindows():
|
| return os.path.join(dart_binary_prefix, 'windows', 'dart.exe')
|
| else:
|
| - return os.path.join(dart_binary_prefix, GuessOS(), 'dart')
|
| + arch = GuessArchitecture()
|
| + system = GuessOS()
|
| + if arch == 'arm':
|
| + return os.path.join(dart_binary_prefix, system, 'dart-arm')
|
| + else:
|
| + return os.path.join(dart_binary_prefix, system, 'dart')
|
|
|
|
|
| def DartSdkBinary():
|
|
|