From 89dbb41ca8863a81d2b017127bca95d0eac05c39 Mon Sep 17 00:00:00 2001
From: Martin Trojer <mtrojer@fb.com>
Date: Mon, 18 May 2020 06:13:34 -0700
Subject: [PATCH] Change parsing of buck output for infer-deps.txt

Summary: Filenames can contain spaces, so we need to split on the first ' '

Reviewed By: jvillard

Differential Revision: D21618408

fbshipit-source-id: b1e472d18
---
 infer/src/integration/BuckFlavors.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/integration/BuckFlavors.ml b/infer/src/integration/BuckFlavors.ml
index 59493dbc5..46767f3e6 100644
--- a/infer/src/integration/BuckFlavors.ml
+++ b/infer/src/integration/BuckFlavors.ml
@@ -73,8 +73,8 @@ let run_buck_build prog buck_build_args =
   *)
   let process_buck_line acc line =
     L.debug Capture Verbose "BUCK OUT: %s@." line ;
-    match String.split ~on:' ' line with
-    | [_; target_path] ->
+    match String.lsplit2 ~on:' ' line with
+    | Some (_, target_path) ->
         let filename =
           ResultsDirEntryName.get_path
             ~results_dir:(Config.project_root ^/ target_path)