diff options
| author | Nicola Fontana <ntd@entidi.it> | 2016-02-12 11:04:11 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2018-01-25 22:10:25 +0000 |
| commit | 15a28c945f192863c6b0a9818fa3a0713e3d4076 (patch) | |
| tree | c2a08f2293ba13620b16ce3ee016c3b15dce7fa7 /giscanner/utils.py | |
| parent | b8da3c080103ba06da8ebd81d6cffbeda8b1bd13 (diff) | |
| download | gobject-introspection-15a28c945f192863c6b0a9818fa3a0713e3d4076.tar.gz | |
Allow overriding of the host os name
Added the GI_HOST_OS environment variable to eventually specify the host
OS explicitely. It fall backs to os.name to retain backward
compatibility.
https://bugzilla.gnome.org/show_bug.cgi?id=761985
Diffstat (limited to 'giscanner/utils.py')
| -rw-r--r-- | giscanner/utils.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/giscanner/utils.py b/giscanner/utils.py index 4865ca8c..09132b2d 100644 --- a/giscanner/utils.py +++ b/giscanner/utils.py @@ -184,6 +184,10 @@ def cflag_real_include_path(cflag): return "-I" + os.path.realpath(cflag[2:]) +def host_os(): + return os.environ.get("GI_HOST_OS", os.name) + + def which(program): def is_exe(fpath): return os.path.isfile(fpath) and os.access(fpath, os.X_OK) |