diff options
Diffstat (limited to 'sysprep/utils.ml')
| -rw-r--r-- | sysprep/utils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sysprep/utils.ml b/sysprep/utils.ml index 003ae865..3b3ad8af 100644 --- a/sysprep/utils.ml +++ b/sysprep/utils.ml @@ -24,6 +24,8 @@ let (//) = Filename.concat let () = Random.self_init () +let failwithf fs = ksprintf failwith fs + let string_prefix str prefix = let n = String.length prefix in String.length str >= n && String.sub str 0 n = prefix |