builder: use Filename.check_suffix

... instead of manually extracting and checking the suffix by ourselves
This commit is contained in:
Pino Toscano
2014-03-10 13:42:16 +01:00
parent 596955c1b5
commit 8ba31e69dc

View File

@@ -87,10 +87,7 @@ let merge_sources current_sources new_sources =
) new_sources current_sources
let filter_filenames filename =
let suffix = ".conf" in
let n = String.length filename in
let ns = String.length suffix in
n >= ns && String.sub filename (n - ns) ns = suffix
Filename.check_suffix filename ".conf"
let read_sources ~prog ~debug =
let dirs = Paths.xdg_config_dirs ~prog in