| Index: tools/build.py
|
| diff --git a/tools/build.py b/tools/build.py
|
| index 0c5e235c16d4b80dada3bf751bb303ae4fb2904c..6472e11934c558919a82f1a9bad21692444d4a81 100755
|
| --- a/tools/build.py
|
| +++ b/tools/build.py
|
| @@ -108,7 +108,8 @@ def ProcessOptions(options, args):
|
| return False
|
| options.os = [ProcessOsOption(os_name) for os_name in options.os]
|
| for os_name in options.os:
|
| - if not os_name in ['android', 'freebsd', 'linux', 'macos', 'win32']:
|
| + if not os_name in ['android', 'freebsd', 'linux', 'macos', 'openbsd',
|
| + 'win32']:
|
| print "Unknown os %s" % os_name
|
| return False
|
| if os_name != HOST_OS:
|
| @@ -430,7 +431,7 @@ def BuildOneConfig(options, target, target_os, mode, arch, override_tools):
|
| ]
|
| else:
|
| make = 'make'
|
| - if HOST_OS == 'freebsd':
|
| + if HOST_OS in ('freebsd', 'openbsd'):
|
| make = 'gmake'
|
| # work around lack of flock
|
| os.environ['LINK'] = '$(CXX)'
|
|
|