diff options
author | 2016-10-28 15:17:22 +0000 | |
---|---|---|
committer | 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