diff options
Diffstat (limited to '0002-kernel-version-re-fix.patch')
-rw-r--r-- | 0002-kernel-version-re-fix.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/0002-kernel-version-re-fix.patch b/0002-kernel-version-re-fix.patch new file mode 100644 index 0000000..20425be --- /dev/null +++ b/0002-kernel-version-re-fix.patch @@ -0,0 +1,14 @@ +Index: ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config +=================================================================== +--- ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3.orig/ddiskit.config 2022-07-12 02:04:24.700230196 +0200 ++++ ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config 2022-07-12 02:07:27.444095264 +0200 +@@ -4,6 +4,9 @@ + major = 7 + minor = 0 + ++kernel_dist_re = (?P<rpm_dist>\.el([6-9]|[1-9][0-9])(_(0|[1-9][0-9]*))?) ++kernel_flex_version_re = {kernel_nvr_re}(?P<rpm_release_aux>(\.[0-9]{1,3})*){kernel_dist_re} ++ + [rpm_gpg_check] + ## Some initial assumption about the keyring dir + keyring_dir = {defaults.res_dir}/keyrings/{defaults.profile} |