From 97494bfc31556510759b0893803d815e3f2a9ad5 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 3 Jan 2020 15:12:02 +0000
Subject: [PATCH] Don't default to echoing tactic command.

---
 src/run.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/run.ml b/src/run.ml
index 7d48a7e..1af56bc 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -178,7 +178,7 @@ and needs_rebuild env loc deps pattern =
        | [] -> env
        | d :: _ -> Ast.Env.add "^" d env in
      let code = Eval.to_shell_script env loc code in
-     let code = "set -e\nset -x\n\n" ^ code in
+     let code = "set -e\n" (*^ "set -x\n" *) ^ "\n" ^ code in
      let r = Sys.command code in
      if r = 99 (* means "needs rebuild" *) then true
      else if r = 0 (* means "doesn't need rebuild" *) then false
-- 
1.8.3.1