diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 12:58:42 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 18:27:12 +0200 |
commit | 504b7abc452936b3118a18efea05026083ed8cdd (patch) | |
tree | bc06f2293793049d5e04385f0f4d4716bde2cfb0 /doc/manual/src/command-ref/opt-common-syn.md | |
parent | efdb89994c2ee79763320d70fb4ba881d0e3b1e8 (diff) |
Convert commands
Diffstat (limited to 'doc/manual/src/command-ref/opt-common-syn.md')
-rw-r--r-- | doc/manual/src/command-ref/opt-common-syn.md | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/doc/manual/src/command-ref/opt-common-syn.md b/doc/manual/src/command-ref/opt-common-syn.md new file mode 100644 index 000000000..b66d318c2 --- /dev/null +++ b/doc/manual/src/command-ref/opt-common-syn.md @@ -0,0 +1,57 @@ +\--help + +\--version + +\--verbose + +\-v + +\--quiet + +\--log-format + +format + +\--no-build-output + +\-Q + +\--max-jobs + +\-j + +number + +\--cores + +number + +\--max-silent-time + +number + +\--timeout + +number + +\--keep-going + +\-k + +\--keep-failed + +\-K + +\--fallback + +\--readonly-mode + +\-I + +path + +\--option + +name + +value |