diff --git a/kernel_crawler/debian.py b/kernel_crawler/debian.py index 0a39f52..6876db6 100644 --- 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