diff options
Diffstat (limited to 'sysprep/utils.mli')
| -rw-r--r-- | sysprep/utils.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sysprep/utils.mli b/sysprep/utils.mli index 51426f44..2b7e3208 100644 --- a/sysprep/utils.mli +++ b/sysprep/utils.mli @@ -44,3 +44,8 @@ val skip_dashes : string -> string If the string contains only dash characters, this raises [Invalid_argument "skip_dashes"]. *) + +val compare_command_line_args : string -> string -> int +(** Compare two command line arguments (eg. ["-a"] and ["--V"]), + ignoring leading dashes and case. Note this assumes the + strings are 7 bit ASCII. *) |