summaryrefslogtreecommitdiff
path: root/mdbp/build_schema.json
diff options
context:
space:
mode:
authorHelmut Grohne <helmut@subdivi.de>2021-05-09 07:50:18 +0200
committerHelmut Grohne <helmut@subdivi.de>2021-05-09 07:50:18 +0200
commit15fa5e5b555fdc1aad10f51822de877cde71294d (patch)
tree6c072ade8fda146e32503fc4afc0414c8263e822 /mdbp/build_schema.json
parentbf30d5dd03503f776127c42d3f1d8b2ea529b150 (diff)
downloadmdbp-15fa5e5b555fdc1aad10f51822de877cde71294d.tar.gz
the stdout fd contains the build log
Using a pipe enables streaming of logs, which would not be possible with a regular file output.
Diffstat (limited to 'mdbp/build_schema.json')
-rw-r--r--mdbp/build_schema.json5
1 files changed, 5 insertions, 0 deletions
diff --git a/mdbp/build_schema.json b/mdbp/build_schema.json
index 138de76..85bcd00 100644
--- a/mdbp/build_schema.json
+++ b/mdbp/build_schema.json
@@ -123,6 +123,11 @@
"directory": {
"type": "string",
"description": "target directory to place output artifacts, can be specified relative to the location of this json file"
+ },
+ "log": {
+ "type": "boolean",
+ "default": true,
+ "description": "whether to output the build log on the stdout file descriptor"
}
}
}