From 8a2779bbb2867886be24fa3050164fc59a5cb8dc Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 25 Apr 2018 14:53:57 +0200
Subject: [PATCH] [stubs] normalize filenames for stub files.
---
src/plugins/markdown-report/md_gen.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 9c51da69688..26da04671eb 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -81,7 +81,8 @@ let section_stubs env =
let stubbed_kf =
List.concat
(List.map
- (fun filename ->
+ (fun f ->
+ let filename = Filepath.normalize f in
Globals.FileIndex.get_functions ~declarations:false ~filename)
(Mdr_params.Stubs.get ())
)
--
GitLab