diff options
author | Nico Weber <nicolasweber@gmx.de> | 2016-11-07 18:34:46 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2016-11-07 18:34:46 (GMT) |
commit | 717b7b4a31db6027207588c0fb89c3ead384747b (patch) | |
tree | f95fbdb0340abd28dba6ad67aa19d6e12083450a /configure.py | |
parent | b49b0fc01bb052b6ac856b1e72be9391e962398e (diff) | |
parent | b0cce09f563d0942fcf1c1256db679cebcbd6bea (diff) | |
download | Ninja-1.7.2.zip Ninja-1.7.2.tar.gz Ninja-1.7.2.tar.bz2 |
v1.7.2v1.7.2
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 84218b9..9ec368f 100755 --- a/configure.py +++ b/configure.py @@ -98,7 +98,7 @@ class Platform(object): return self._platform in ('freebsd', 'openbsd', 'bitrig') def supports_ppoll(self): - return self._platform in ('linux', 'openbsd', 'bitrig') + return self._platform in ('freebsd', 'linux', 'openbsd', 'bitrig') def supports_ninja_browse(self): return (not self.is_windows() |