diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-05 14:15:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-05 14:15:24 +0200 |
commit | ffab3949e365598271e50705e358864eecfb64d8 (patch) | |
tree | 2dcbc96aeca1c60fe598055c10087e7ebfe5603e /modules/mono | |
parent | d3c972683542365b1a9bf2d96d20520a8981612d (diff) | |
parent | 257a8a337e77a3b0a6d79b7846bb33b7887538cf (diff) |
Merge pull request #50048 from Calinou/remove-travis-code
Remove unused code related to Travis CI
Diffstat (limited to 'modules/mono')
-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"]) |