diff options
| author |  Luis Fernando Pino Duque <lpino@google.com> | 2016-10-28 15:17:22 +0000 |
|---|---|---|
| committer |  John Cater <jcater@google.com> | 2016-10-28 16:04:30 +0000 |
| commit | 8949c07973c52fb5c3f0ff8558c3254c3bad50b4 (patch) | |
| tree | a8d70a79fcb6d129741a9978017ddcf3176b2e26 /compile.sh | |
| parent | 6d46bdf0782db5ec1a43a352408401664ae9c630 (diff) | |
Add the IsNullary(arg) and IsUnary(arg, next_arg) functions
to detect whether arg is a valid startup option.
--
MOS_MIGRATED_REVID=137512954
Diffstat (limited to 'compile.sh')
0 files changed, 0 insertions, 0 deletions