From 10f1036937eeab86ca600ed69d8a6ed0e8ea7d1f Mon Sep 17 00:00:00 2001
From: Daiva Naudziuniene <daivan@fb.com>
Date: Wed, 25 May 2016 08:37:49 -0700
Subject: [PATCH] Normalizing source path.

Reviewed By: jvillard

Differential Revision: D3340953

fbshipit-source-id: dcd96ec
---
 infer/src/backend/config.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml
index 887df2799..c2deabfde 100644
--- a/infer/src/backend/config.ml
+++ b/infer/src/backend/config.ml
@@ -766,8 +766,10 @@ and skip_translation_headers =
   CLOpt.mk_string_list ~deprecated:["skip_translation_headers"] ~long:"skip-translation-headers"
     ~meta:"path prefix" "Ignore headers whose path matches the given prefix"
 
+(* clang-plugin normalizes filenames *)
 and source_file =
-  CLOpt.mk_string_opt ~long:"source-file" ~short:"c" ~meta:"file" "File to translate"
+  CLOpt.mk_string_opt ~long:"source-file" ~short:"c" ~f:filename_to_absolute
+    ~meta:"file" "File to translate"
 
 (** command-line option to print the location of the copy of a source file *)
 and source_file_copy =