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)' |