summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2025-11-16 20:47:03 +0100
committerCarl Hetherington <cth@carlh.net>2025-11-16 20:49:18 +0100
commit8a7a909f17a7336c54631aed92218b10986cdf26 (patch)
tree3f8dd6fcb6429c11d9ebc42af0f23bfd3e24df59
parent7e988f8c9c2a24f95820e2899dfe2d2f2bdf6a44 (diff)
Use mutter workaround on Fedora >= 42 and Ubuntu >= 24.04.
I assume it's also required on newer operating systems, though I should probably check.
-rw-r--r--cscript5
1 files changed, 3 insertions, 2 deletions
diff --git a/cscript b/cscript
index 772403751..8d0718f96 100644
--- a/cscript
+++ b/cscript
@@ -570,9 +570,10 @@ def configure_options(target, options, for_package=False):
if target.platform == 'osx' and target.arch == 'arm64':
opt += ' --wx-config=%s/wx-config' % target.bin
+ ubuntu_year = int(target.version.split('.')[0]) if target.platform == 'linux' and target.distro == 'ubuntu' else None
if target.platform == 'linux' and (
- (target.distro == 'ubuntu' and target.version == '24.04') or
- (target.distro == 'fedora' and target.version == '42')
+ (target.distro == 'ubuntu' and ubuntu_year >= 24) or
+ (target.distro == 'fedora' and int(target.version) >= 42)
):
opt += ' --enable-grok --workaround-mutter'