diff options
| author | Carl Hetherington <cth@carlh.net> | 2026-04-23 07:43:00 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2026-04-23 16:37:51 +0200 |
| commit | c11ecf2b5beede4f736124c9a6e49d90b0f4d780 (patch) | |
| tree | 0bc05107dacbe46a0b6fa5a78274f5e2e199ccbd | |
| parent | 7c9bf1f5b647d74261f8bec636d9865b858b93b0 (diff) | |
Support grok on Fedora 43.
| -rw-r--r-- | cscript | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |
