Searched refs:optName (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | mpoly.cpp | 140 const TCHAR *optName; member in struct:__debugOpts
310 if (_tcslen(debugOptTable[k].optName) == (size_t)(q-p) &&
311 _tcsncmp(p, debugOptTable[k].optName, q-p) == 0)
459 fprintf(polyStdout, "%S <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
461 fprintf(polyStdout, "%s <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
498 int spaces = sprintf(p, "%S <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
500 int spaces = sprintf(p, "%s <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
|
Completed in 64 milliseconds