1
mirror of https://github.com/DarkFlippers/unleashed-firmware.git synced 2025-12-13 05:06:30 +04:00

[FL-3431] Radio headers in SDK (#2881)

This commit is contained in:
hedger
2023-07-17 11:51:15 +04:00
committed by GitHub
parent f2324e4d1c
commit 20f6394ad8
6 changed files with 23 additions and 3 deletions

View File

@@ -325,7 +325,16 @@ class AppBuildset:
def get_sdk_headers(self):
sdk_headers = []
for app in self.apps:
sdk_headers.extend([app._appdir.File(header) for header in app.sdk_headers])
sdk_headers.extend(
[
src._appdir.File(header)
for src in [
app,
*(plugin for plugin in app._plugins),
]
for header in src.sdk_headers
]
)
return sdk_headers
def get_apps_of_type(self, apptype: FlipperAppType, all_known: bool = False):