aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/command-ref/opt-common-syn.md
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2020-07-23 12:58:42 +0200
committerEelco Dolstra <edolstra@gmail.com>2020-07-23 18:27:12 +0200
commit504b7abc452936b3118a18efea05026083ed8cdd (patch)
treebc06f2293793049d5e04385f0f4d4716bde2cfb0 /doc/manual/src/command-ref/opt-common-syn.md
parentefdb89994c2ee79763320d70fb4ba881d0e3b1e8 (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.md57
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