|
@@ -47,7 +47,13 @@ for device_id, profile in output.get("profiles", {}).items():
|
|
|
|
|
|
|
|
|
|
|
|
|
if output:
|
|
if output:
|
|
|
- default_packages, output["arch_packages"] = run(
|
|
|
|
|
|
|
+ (
|
|
|
|
|
+ default_packages,
|
|
|
|
|
+ output["arch_packages"],
|
|
|
|
|
+ linux_version,
|
|
|
|
|
+ linux_release,
|
|
|
|
|
+ linux_vermagic,
|
|
|
|
|
+ ) = run(
|
|
|
[
|
|
[
|
|
|
"make",
|
|
"make",
|
|
|
"--no-print-directory",
|
|
"--no-print-directory",
|
|
@@ -55,6 +61,9 @@ if output:
|
|
|
"target/linux/",
|
|
"target/linux/",
|
|
|
"val.DEFAULT_PACKAGES",
|
|
"val.DEFAULT_PACKAGES",
|
|
|
"val.ARCH_PACKAGES",
|
|
"val.ARCH_PACKAGES",
|
|
|
|
|
+ "val.LINUX_VERSION",
|
|
|
|
|
+ "val.LINUX_RELEASE",
|
|
|
|
|
+ "val.LINUX_VERMAGIC",
|
|
|
"V=s",
|
|
"V=s",
|
|
|
],
|
|
],
|
|
|
stdout=PIPE,
|
|
stdout=PIPE,
|
|
@@ -64,7 +73,11 @@ if output:
|
|
|
).stdout.splitlines()
|
|
).stdout.splitlines()
|
|
|
|
|
|
|
|
output["default_packages"] = sorted(default_packages.split())
|
|
output["default_packages"] = sorted(default_packages.split())
|
|
|
-
|
|
|
|
|
|
|
+ output["linux_kernel"] = {
|
|
|
|
|
+ "version": linux_version,
|
|
|
|
|
+ "release": linux_release,
|
|
|
|
|
+ "vermagic": linux_vermagic,
|
|
|
|
|
+ }
|
|
|
output_path.write_text(json.dumps(output, sort_keys=True, separators=(",", ":")))
|
|
output_path.write_text(json.dumps(output, sort_keys=True, separators=(",", ":")))
|
|
|
else:
|
|
else:
|
|
|
print("JSON info file script could not find any JSON files for target")
|
|
print("JSON info file script could not find any JSON files for target")
|