Fix definition of trap compression option

unless the -Oextract_dependencies=true flag is supplied
This commit is contained in:
Arthur Baars
2024-09-10 15:45:09 +02:00
parent 9c8f6145ab
commit d6d52a97a2

View File

@@ -23,10 +23,10 @@ options:
title: Controls compression for the TRAP files written by the extractor.
description: >
This option is only intended for use in debugging the extractor. Accepted
values are 'brotli' (the default, to write brotli-compressed TRAP), 'gzip', and 'none'
values are 'gzip' (the default, to write gzip-compressed TRAP) and 'none'
(to write uncompressed TRAP).
type: string
pattern: "^(none|gzip|brotli)$"
pattern: "^(none|gzip)$"
extract_dependencies:
title: Whether to extract dependencies.
description: >