From 32e123c51528165c2e2f0a8ea1f8c83fc98802ad Mon Sep 17 00:00:00 2001
From: vrana <jakubv@fb.com>
Date: Fri, 21 Sep 2012 16:29:12 -0700
Subject: [PATCH] Step towards working `arc diff --background 1` on Windows

Summary:
Running `a.php` from command line doesn't work on Windows, we need to run `php a.php`.
This shouldn't break other OSes.

Test Plan:
  $ arc diff --background 1

Reviewers: epriestley

Reviewed By: epriestley

CC: aran, Korvin

Differential Revision: https://secure.phabricator.com/D3544
---
 src/workflow/ArcanistDiffWorkflow.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/workflow/ArcanistDiffWorkflow.php b/src/workflow/ArcanistDiffWorkflow.php
index af2d932f..5bccc159 100644
--- a/src/workflow/ArcanistDiffWorkflow.php
+++ b/src/workflow/ArcanistDiffWorkflow.php
@@ -387,7 +387,7 @@ EOTEXT
         // Insert after `arc`.
         array_splice($argv, 1, 0, array('--ansi'));
       }
-      $lint_unit = new ExecFuture('%Ls', $argv);
+      $lint_unit = new ExecFuture('php %Ls', $argv);
       $lint_unit->write('', true);
       $lint_unit->start();
     }