Index: tools/build.py |
diff --git a/tools/build.py b/tools/build.py |
index 0c5e235c16d4b80dada3bf751bb303ae4fb2904c..ba3a5dda9b9c1efa3cbcec6a2d7732dbd609c787 100755 |
--- a/tools/build.py |
+++ b/tools/build.py |
@@ -108,7 +108,7 @@ 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']: |
ricow1
2016/01/05 07:12:13
long line
mulander
2016/01/05 16:13:49
Acknowledged.
mulander
2016/01/05 16:13:49
Done.
|
print "Unknown os %s" % os_name |
return False |
if os_name != HOST_OS: |
@@ -430,7 +430,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)' |