Lines Matching refs:help
15 fun from build_theory_graph debug help jobcount kernelspec multithread
20 help = help,
27 fun from' seqname selftest relocbuild multithread kernelspec jobcount help
32 help = help,
39 fun to f {build_theory_graph, debug, help, jobcount, kernelspec, multithread,
42 f build_theory_graph debug help jobcount kernelspec multithread relocbuild
116 {help = "build with experimental kernel", long = ["expk"], short = "",
118 {help = "build a theory dependency graph", long = ["graph"], short = "",
120 {help = "build with full sequence", long = ["fullbuild"], short = "F",
127 {help = "enable debugging output", long = ["dbg"], short = "d",
129 {help = "display help", long = ["help", "h"], short = "h?",
130 desc = mkBool #help true},
131 {help = "specify concurrency limit", long = [], short = "j",
133 {help = "thread count", long = ["mt"], short = "",
135 {help = "don't build a thy dep. graph", long = ["nograph"], short = "",
137 {help = "build with logging kernel", long = ["otknl"], short = "",
139 {help = "do relocation build (e.g., after a cleanForReloc)",
142 {help = "specify selftest level (default = 1)", long = ["selftest"],
145 {help = "build this directory sequence", long = ["seq"], short = "",
147 {help = "build with standard kernel", long = ["stdknl"], short = "",