Lines Matching refs:help
13 fun from build_theory_graph debug help jobcount kernelspec multithread
18 help = help,
25 fun from' seqname selftest relocbuild multithread kernelspec jobcount help
30 help = help,
37 fun to f {build_theory_graph, debug, help, jobcount, kernelspec, multithread,
40 f build_theory_graph debug help jobcount kernelspec multithread relocbuild
113 {help = "build with experimental kernel", long = ["expk"], short = "",
115 {help = "build a theory dependency graph", long = ["graph"], short = "",
117 {help = "build with full sequence", long = ["fullbuild"], short = "F",
124 {help = "enable debugging output", long = ["dbg"], short = "d",
126 {help = "display help", long = ["help", "h"], short = "h?",
127 desc = mkBool #help true},
128 {help = "specify concurrency limit", long = [], short = "j",
130 {help = "thread count", long = ["mt"], short = "",
132 {help = "don't build a thy dep. graph", long = ["nograph"], short = "",
134 {help = "build with logging kernel", long = ["otknl"], short = "",
136 {help = "do relocation build (e.g., after a cleanForReloc)",
139 {help = "specify selftest level (default = 1)", long = ["selftest"],
142 {help = "build this directory sequence", long = ["seq"], short = "",
144 {help = "build with standard kernel", long = ["stdknl"], short = "",