summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2026-04-23 07:43:00 +0200
committerCarl Hetherington <cth@carlh.net>2026-04-23 16:37:51 +0200
commitc11ecf2b5beede4f736124c9a6e49d90b0f4d780 (patch)
tree0bc05107dacbe46a0b6fa5a78274f5e2e199ccbd
parent7c9bf1f5b647d74261f8bec636d9865b858b93b0 (diff)
Support grok on Fedora 43.
-rw-r--r--cscript2
1 files changed, 1 insertions, 1 deletions
diff --git a/cscript b/cscript
index 193db2213..ed6f35666 100644
--- a/cscript
+++ b/cscript
@@ -583,7 +583,7 @@ def configure_options(target, options, for_package=False):
if target.platform == 'linux' and (
(target.distro == 'ubuntu' and target.version == "24.04") or
- (target.distro == 'fedora' and target.version == "42")
+ (target.distro == 'fedora' and target.version in ("42", "43"))
):
opt += ' --enable-grok'