diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-07-01 14:38:45 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-07-01 18:02:00 +0200 |
| commit | 257a8a337e77a3b0a6d79b7846bb33b7887538cf (patch) | |
| tree | 8dcf71b853edfd54490e453677684be2715aeb8f /modules | |
| parent | 9f30638d4bbc5a30c6f4f5cff99910bf8e19c2e3 (diff) | |
Remove unused code related to Travis CI
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/mono/build_scripts/mono_configure.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/modules/mono/build_scripts/mono_configure.py b/modules/mono/build_scripts/mono_configure.py index 309abfbff7..8e441e7e07 100644 --- a/modules/mono/build_scripts/mono_configure.py +++ b/modules/mono/build_scripts/mono_configure.py @@ -101,12 +101,6 @@ def configure(env, env_mono): mono_lib_names = ["mono-2.0-sgen", "monosgen-2.0"] - is_travis = os.environ.get("TRAVIS") == "true" - - if is_travis: - # Travis CI may have a Mono version lower than 5.12 - env_mono.Append(CPPDEFINES=["NO_PENDING_EXCEPTIONS"]) - if is_android and not env["android_arch"] in android_arch_dirs: raise RuntimeError("This module does not support the specified 'android_arch': " + env["android_arch"]) |