diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-09 15:35:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-09 15:35:36 +0200 |
| commit | 25fd4edd2922e026976a20c495984c7c32ea8b5d (patch) | |
| tree | 233d2685a7ed5e085a5f4a55a198e3c109eb46e5 | |
| parent | 90870fd48f0071d3563d73817cbb5ee793607c77 (diff) | |
| parent | 78cd0ffdba6a336475f21be598dca7087a4a66f7 (diff) | |
Merge pull request #51427 from omar-polo/platform-detect-openbsd
automatically detect openbsd as platform=linuxbsd
| -rw-r--r-- | SConstruct | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index 45108721ad..684abee29f 100644 --- a/SConstruct +++ b/SConstruct @@ -201,7 +201,13 @@ elif env_base["p"] != "": selected_platform = env_base["p"] else: # Missing `platform` argument, try to detect platform automatically - if sys.platform.startswith("linux"): + if ( + sys.platform.startswith("linux") + or sys.platform.startswith("dragonfly") + or sys.platform.startswith("freebsd") + or sys.platform.startswith("netbsd") + or sys.platform.startswith("openbsd") + ): selected_platform = "linuxbsd" elif sys.platform == "darwin": selected_platform = "osx" |