diff options
author | Helmut Grohne <helmut@subdivi.de> | 2021-05-09 07:50:18 +0200 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2021-05-09 07:50:18 +0200 |
commit | 15fa5e5b555fdc1aad10f51822de877cde71294d (patch) | |
tree | 6c072ade8fda146e32503fc4afc0414c8263e822 /mdbp/build_schema.json | |
parent | bf30d5dd03503f776127c42d3f1d8b2ea529b150 (diff) | |
download | mdbp-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.json | 5 |
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" } } } |