diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2022-04-26 12:06:11 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2022-04-26 12:06:11 +0200 |
commit | 6695ca9ed25a2e4792b8ab9ac38879a4c1939d52 (patch) | |
tree | 80fa32815a7cbb4c38babdd034e002eea81a8779 | |
parent | 557b7d6976be35c15bdff40fada0108b7e0159f7 (diff) | |
download | ptxdist-6695ca9ed25a2e4792b8ab9ac38879a4c1939d52.tar.gz ptxdist-6695ca9ed25a2e4792b8ab9ac38879a4c1939d52.tar.xz |
ptxd_make_report: add more data for development
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
-rw-r--r-- | scripts/bsp-report-schema.yaml | 6 | ||||
-rw-r--r-- | scripts/lib/ptxd_make_report.sh | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/scripts/bsp-report-schema.yaml b/scripts/bsp-report-schema.yaml index c3c8b95e7..5b738c53f 100644 --- a/scripts/bsp-report-schema.yaml +++ b/scripts/bsp-report-schema.yaml @@ -50,10 +50,16 @@ properties: develop: type: object required: + - workspace + - platform - host - target additionalProperties: false properties: + workspace: + $ref: '#/$defs/path' + platform: + $ref: '#/$defs/path' host: type: object required: diff --git a/scripts/lib/ptxd_make_report.sh b/scripts/lib/ptxd_make_report.sh index 5b73462de..a363ca5b3 100644 --- a/scripts/lib/ptxd_make_report.sh +++ b/scripts/lib/ptxd_make_report.sh @@ -46,6 +46,8 @@ ptxd_make_bsp_report_header() { done echo "develop:" + do_echo "workspace:" "${PTXDIST_WORKSPACE}" + do_echo "platform:" "${PTXDIST_PLATFORMDIR}" indent=" " echo " host:" do_path "path:" "${ptx_path_host}" |