| Index: tools/utils.py
|
| diff --git a/tools/utils.py b/tools/utils.py
|
| index efcb886bfc5935b28d2e2b3e5945730055732d7f..e1ba01fa9ee816acd628046fa347eb938834dc08 100644
|
| --- a/tools/utils.py
|
| +++ b/tools/utils.py
|
| @@ -602,7 +602,7 @@ def DartSdkBinary():
|
| def CheckedInSdkPath():
|
| # We don't use the normal macos, linux, win32 directory names here, instead,
|
| # we use the names that the download_from_google_storage script uses.
|
| - osdict = {'Darwin':'mac', 'Linux':'linux', 'Windows':'win'}
|
| + osdict = {'Darwin':'mac', 'Linux':'linux', 'OpenBSD': 'openbsd', 'Windows':'win'}
|
| system = platform.system()
|
| try:
|
| osname = osdict[system]
|
|
|