From 7d3eb74b6a43e4dee9cd5e95078070727ef6b8f1 Mon Sep 17 00:00:00 2001
From: Paul Tarjan <ptarjan@fb.com>
Date: Wed, 24 Apr 2013 13:11:48 -0700
Subject: [PATCH] print out hphp command too

---
 hphp/test/run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hphp/test/run b/hphp/test/run
index 9ab4a4029..7a6b7974c 100755
--- a/hphp/test/run
+++ b/hphp/test/run
@@ -277,6 +277,9 @@ if ($return_status) {
   if (isset($options['repo'])) {
     $command .= " -v Repo.Authoritative=true ";
     $command = str_replace(verify_hhbc(), "$filename.repo/hhvm.hhbc", $command);
+    $command = implode(' ', hphp_arg($options, $tests)).
+      " -thhbc -l0 -k1 -o $filename.repo $filename\n".
+      $command;
   }
 
   print "\nTo run these by hand$extra_help:\n".