chore(kernel_crawler): only add debian kernels for which we found 3 h…

…eaders. Signed-off-by: Federico Di Pierro <[email protected]>
falcosecurity · Dec 15, 2023 · f88b68c · f88b68c
1 parent a15ee82
commit f88b68c
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/kernel_crawler/debian.py b/kernel_crawler/debian.py
@@ -95,7 +95,11 @@ def to_driverkit_config(self, release, deps):
                 headers_cloud.append(dep)
                 headers_rpi.append(dep)
 
-        return [repo.DriverKitConfig(release + "-" + self.arch, "debian", headers),
-                      repo.DriverKitConfig(release + "-rt-" + self.arch, "debian", headers_rt),
-                      repo.DriverKitConfig(release + "-cloud-" + self.arch, "debian", headers_cloud),
-                      repo.DriverKitConfig(release + "-rpi-" + self.arch, "debian", headers_rpi),]
+        final = [repo.DriverKitConfig(release + "-" + self.arch, "debian", headers)]
+        if len(headers_rt) == 3:
+            final.append(repo.DriverKitConfig(release + "-rt-" + self.arch, "debian", headers_rt))
+        if len(headers_cloud) == 3:
+            final.append(repo.DriverKitConfig(release + "-cloud-" + self.arch, "debian", headers_cloud))
+        if len(headers_rpi) == 3:
+            final.append(repo.DriverKitConfig(release + "-rpi-" + self.arch, "debian", headers_rpi))
+        return final